:: deftheorem defines local_overlapping NOMIN_1:def 20 :
for V, A being set
for v being object
for b₄ being PartFunc of [:(ND (V,A)),(ND (V,A)):],(ND (V,A)) holds
( b₄ = local_overlapping (V,A,v) iff ( dom b₄ = [:((ND (V,A)) \ A),(ND (V,A)):] & ( for d1 being NonatomicND of V,A
for d2 being object st not d1 in A & d2 in ND (V,A) holds
b₄ . [d1,d2] = local_overlapping (V,A,d1,d2,v) ) ) );