In mathematics, a reflexive relation is a binary relation on a set for which every element is related to itself. In other words, a relation ~ on a set S is reflexive when x ~ x holds true for every x in S, formally. A reflexive relation is said to have the reflexive property or is said to possess reflexivity.