for X being set
for x being object st x in X holds
Class ((id X),x) = {x}