Exercice 11, § 1

Soient $\tau$ une loi associative sur E, A et B deux parties de E stables pour cette loi; montrer que si $B \tau A \subset A \tau B, A \tau B$ est une partie stable de E.