theorem :: CLASSES4:83

for UN being Universe holds
not for a being set holds a in UN