theorem :: FINTOPO6:46

for FT being non empty RelStr
for A being Subset of FT st FT is symmetric holds
( A is connected iff A is arcwise_connected )