Definition:Reflexive Relation/Definition 2

Definition
Let $\mathcal R \subseteq S \times S$ be a relation in $S$. $\mathcal R$ is reflexive iff it is a superset of the diagonal relation:


 * $\Delta_S \subseteq \mathcal R$.

Also see

 * Equivalence of Definitions of Reflexive Relation