for V, A being set holds ND (V,A) = Union (FNDSC (V,A))