theorem :: CLASSES4:96

( Tarski-Class FinSETS = GrothendieckUniverse FinSETS & Tarski-Class SETS = GrothendieckUniverse SETS ) by CLASSES3:22;