\begin{definition}[Definition:Reflexive Relation/Definition 2]
Let $\RR \subseteq S \times S$ be a relation in $S$.
$\RR$ is '''reflexive''' {{iff}} it is a superset of the diagonal relation: 
:$\Delta_S \subseteq \RR$
\end{definition}