theorem Th26: :: CLASSES1:26

for X, x, y being set holds
( ( x in Tarski-Class X implies {x} in Tarski-Class X ) & ( x in Tarski-Class X & y in Tarski-Class X implies {x,y} in Tarski-Class X ) )