theorem Th7: :: NOMIN_1:7

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