Qu'est-ce qu'une contrainte ensembliste d'inclusion ?

La contrainte non commutative d'inclusion, {subset}, assure que la ou les occurrences d'une association source sont inclues dans les occurrences d'une autre association cible.