A discrete mathematics term to describe the relationship of two elements of a set based on a rule such as: a is related to b if and only if a=b. Then, a is related to a and b is related to itself. Also know as the reflexive property in this example.