 Note that (55) and (56) yield the binary operators defined in (403) and (49) as special cases. Moreover, in GEM the General ψ-Product principle (P.16ψ) is also derivable as a theorem, with ‘ψ’ as weak as the requirement of mutual overlap, and we can introduce a corresponding functor as follows: