:: deftheorem defines is_without_nonatomicND_wrt NOMIN_4:def 3 :
for V, A being set holds
( A is_without_nonatomicND_wrt V iff A misses nonatomicsND (V,A) );