Soit S un ensemble à n éléments. Peut-on trouver une opération ∘\circ sur S qui vérifie les deux propriétés suivantes ?
(1) la simplification à droite : a ∘\circ c = b ∘\circ c implique a = b, quels que soient a, b et c ;
(2) l'anti-associativité : a ∘\circ (b ∘\circ c) ≠ (a ∘\circ b) ∘\circ c, quels que soient a, b, et c.