Exercise 11, § 1

Let $\tau$ be an associative law on E and A and B two subsets of E which are stable under this law; show that, if $B \tau A \subset A \tau B, A \tau B$ is a stable subset of E.