Exercise 7, § 1

If $\tau$ is an associative law on E and $a$ and $b$ two elements of E, the sets $\{a\} \tau E, E \tau \{b\}, \{a\} \tau E \tau \{b\}, E \tau \{a\} \tau E$ are stable subsets of E under the law $\tau$.