theorem Th24: :: FINTOPO6:25

for FT being non empty RelStr
for x being Point of FT holds {x} is connected