for V, A being set holds {} in NDSS (V,A)