theorem Th38:
  A c= M implies {A} is MSSubsetFamily of M
proof
  assume A c= M;
  then A in bool M by MBOOLEAN:18;
  then {A} c= bool M by PZFMISC1:33;
  hence thesis by PBOOLE:def 18;
end;
