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