Definition Reflexive Binary Relation A relation is called reflexive if all elements relate to themselves, i.e.,