Inverse of Reflexive Relation is Reflexive

Theorem
Let $\mathcal R$ be a relation on a set $S$.

If $\mathcal R$ is reflexive, then so is $\mathcal R^{-1}$.

Proof
Hence the result by definition of reflexive relation.