theorem :: CLASSES4:28

for X being set st X is axiom_GU2 holds
for x being set st x in X holds
{x} in X