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