theorem :: ENS_1:40

for V being non empty set
for W being non empty Subset of V holds Ens W is full Subcategory of Ens V