theorem Th25: :: YELLOW_8:25

for X being non empty set
for P being Subset of (CofinTop X) holds
( P is closed iff ( P = X or P is finite ) )