theorem :: NOMIN_1:5

for V, A being set holds NDSS (V,A) c= PFuncs (V,A)