Qu'est-ce qu'une contrainte ensembliste de disjonction ?

La contrainte commutative de disjonction, {disjoint}, assure que la ou les occurrences des deux associations forment deux sous-ensembles disjoints : chaque occurrence d’association d’une des associations ne peut exister dans l’autre.