for X being set
for G being Grothendieck of X holds Tarski-Class X c= G