1. On dit que H coïncide avec P si H et P ont même forme (c’est à dire qu’il est possible d’instancier les jokers deP pour obtenir exactement H). Par exemple, xx = yy + 3 - min(4..7) coïncide avec:
a = b car a peut être remplacé par xx et b par yy + 3 - min(4..7)
c = d - e car c peut être remplacé par xx, d par yy + 3 et e par min(4..7).