theorem :: ENS_1:22

for V being non empty set
for A being Element of V holds A is Object of (Ens V) ;