for V, A being set
for D being NonatomicND of V,A st not D in A holds
D in (ND (V,A)) \ A