Chap. 4: vérifier exercice avec monoïde

Dans la généralisation d'arbre couvrant min. à un monoïde totalement ordonné:

Vérifier si la compatibilité peut réellement être définie comme "x <= y implique x + z <= y + z",
ou plutôt par  "x < y implique x + z < y + z".