theorem Th35: :: FINTOPO6:36

for FT being non empty RelStr
for C being Subset of FT st FT is filled & FT is symmetric & C is connected holds
C ^b is connected