for V, A being set
for D1, D2 being NonatomicND of V,A st not D1 in A & not D2 in A & dom D1 c= dom D2 holds
global_overlapping (V,A,D1,D2) = D2