Relation Compatible with Group Operation is Reflexive or Antireflexive

Theorem
Let $(G, \circ)$ be a group.

Let $\mathcal R$ be a relation on $G$ that is compatible with $\circ$.

Then $\mathcal R$ is reflexive or antireflexive.

Proof
Suppose that $\mathcal R$ is not antireflexive.

Then there is some $x \in G$ such that $x \mathrel{\mathcal R} x$.

Let $y \in G$.

Then by the definition of compatibility:
 * $(x \circ (x^{-1} \circ y)) \mathrel{\mathcal R} (x \circ (x^{-1} \circ y))$

By associativity and the definition of inverse:
 * $y \mathrel{\mathcal R} y$

Since this holds for arbitrary $y$, $\mathcal R$ is reflexive.

Thus $\mathcal R$ is reflexive or antireflexive.