Let $\mathscr{R}$ be a [[Binary Relation]] on a [[Set|set]] $A$. Then $\mathscr{R}$ is said to be **reflexive** if $a \mathscr{R} a$ for all $a \in A$.