for X being set
for x being object st x in X holds
Class ((nabla X),x) = X