for V, A being set
for d being object st d in nonatomicsND (V,A) holds
d is NonatomicND of V,A