Reflexive relations

reflexive, symmetric and transitive relation

binary relation over a set in which every element is related to itself

reflexive symmetric relation compatible with the operations of an algebraic structure