theorem Th75: :: CLASSES4:75

SETS = Tarski-Class omega