Lemma 7.6. Composition of relations in $C$ is associative if and only if $C$ is regular.