Properties of Relation Compatible with Group Operation

Theorem
Let $\left({G,\circ}\right)$ be a group with identity element $e$.

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

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

Then the following hold: