theorem Th15: :: FINTOPO6:16

for FT being non empty RelStr
for A being non empty Subset of FT holds
( A is connected iff FT | A is connected )