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

theorem
  for A,B being Subset of FT st FT is filled symmetric & A
is_a_component_of FT & B is_a_component_of FT holds A = B or A misses B by Th39
