reserve FT for non empty RelStr,
  A,B,C for Subset of FT;

theorem
  for A being Subset of FT st for B,C being Subset of FT st A = B
  \/ C & B <> {} & C <> {} & B misses C holds B^b meets C & B meets C^b holds A
  is connected;
