Properties of Relation Compatible with Group Operation

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

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

The following properties hold: