Definition:Coreflexive Relation/Definition 2

Definition
Let $\mathcal R \subseteq S \times S$ be a relation in $S$. $\mathcal R$ is coreflexive iff:


 * $\mathcal R \subseteq \Delta_X$

where $\Delta_X$ is the diagonal relation.

Linguistic Note
Coreflexive is pronounced co-reflexive, not core-flexive.

Also see

 * Equivalence of Definitions of Coreflexive Relation