theorem :: MSSUBFAM:36
  SF \ x is SubsetFamily of M;
