reserve U for Universe;
reserve x for Element of U;
reserve U1,U2 for Universe;

theorem Th108:
  the carrier' of Ens U is U-Class
  proof
A1: now
      assume Maps U is U-set;
      then proj2 Maps U is Element of U by CLASSES4:36;
      then proj2 Maps U in U;
      then Funcs U is U-set & Funcs U is U-Class by Th104,Th106;
      hence contradiction;
    end;
    Maps U c= U by Th107;
    hence thesis by A1;
  end;
