Reflexive Relation

A Relation $R:A\to A\to\Omega$ is reflexive if for all $x:A$, $R(x,x)$. Equivalently, a relation $R$ is reflexive if $\mathrm{id}\subseteq R$, where $\mathrm{id}$ is the Identity Relation; this version works better in an Allegory.