Exercice 8, § 1

Soient $\tau$ une loi associative sur E, $a$ un élément de E; quels que soient $x \in E$, $y \in E$, on pose $x \perp y = x \top a \top y$; montrer que la loi $\perp$ est associative.