theorem Th3: :: ENS_1:3

for V being non empty set
for W being non empty Subset of V holds Funcs W c= Funcs V