הטופולוגיה הקו-סופית – הבדלי גרסאות

ב[[טופולוגיה]], ''טופולוגיה'הטופולוגיה קוהקו-סופית''' (או '''טופולוגיית המשלימים הסופיים''') מוגדרת על קבוצה ''X'' כך שהקבוצות הפתוחות הן הקבוצה הריקה וכל הקבוצות שמשלימותיהן סופיות. מכך נובע שהקבוצות הסגורות הן בדיוק הקבוצות הסופיות והמרחב עצמו.

* כל תת-מרחב של טופולוגיההטופולוגיה קוהקו-סופית הוא גם קו-סופי.

* טופולוגיההטופולוגיה קוהקו-סופית על מרחב ''X'' היא הטופולוגיה ה[[עידון (טופולוגיה)|גסה]] ביותר על מרחב זה המקיימת את [[אקסיומות ההפרדה|אקסיומת ההפרדה <math>T_1</math>]]. יתרה מזאת, טופולוגיה על ''X'' מקיימת את <math>T_1</math> אם ורק אם היא מכילה את הטופולוגיה הקו-סופית.