Properties of Relation Compatible with Group Operation

Theorem
Let $\struct {G, \circ}$ be a group with identity element $e$.

Let $\RR$ be a endorelation on $G$ which is compatible with $\circ$.

Let $x, y, z \in G$.

Then the following hold: