theorem :: CLASSES4:82

for UN being Universe
for V being non empty Element of UN holds Funcs V is Subset of UN