theorem :: CLASSES4:84

for UN being Universe holds
not for A being Subset of UN holds A in UN