:: deftheorem defines connected FINTOPO6:def 1 :
for FT being non empty RelStr holds
( FT is connected iff [#] FT is connected );