theorem Th44: :: CLASSES4:44

for X being set holds Tarski-Class {} c= Tarski-Class X