theorem :: ENS_1:25

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