theorem :: ENS_1:24

for V being non empty set
for m being Element of Maps V holds m is Morphism of (Ens V) ;