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