theorem :: NOMIN_1:40

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