Definition:Coreflexive Relation/Definition 2

Definition
Let $\RR \subseteq S \times S$ be a relation in $S$. $\RR$ is coreflexive :


 * $\RR \subseteq \Delta_S$

where $\Delta_S$ is the diagonal relation.

Also see

 * Equivalence of Definitions of Coreflexive Relation