reserve X for set;
reserve UN for Universe;

theorem Th75:
  SETS = Tarski-Class omega
  proof
    SETS is Grothendieck of omega by Th72,CLASSES3:def 4;
    hence thesis by Th73,Th74,CLASSES3:18;
  end;
