theorem :: CLASSES4:40

for UN being Universe
for A, B being non empty set st [:A,B:] is Element of UN holds
( A is Element of UN & B is Element of UN )