reflexive relation

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