for X being set holds X in Tarski-Class X