> [!NOTE] **Definition** (Reflexive binary relation) > A [[Binary Relation|binary relation]] $R$ is **reflexive** iff $\forall x R(x,x)$