for V, A being set st A is_without_nonatomicND_wrt V holds
for d being NonatomicND of V,A holds not d in A