Definition:Reflexive Relation/Definition 2

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


 * $\Delta_S \subseteq \RR$

Also see

 * Equivalence of Definitions of Reflexive Relation