> [!NOTE] Definition (Irreflexive binary relation) > A [[Binary Relation|binary relation]] $R$ is *irreflexive* iff $\forall x \forall y \lnot R(x,x).$