Properties of Relation Compatible with Group Operation

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

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

Then the following hold: