Define a reflexive relation.
In relation and functions, a reflexive relation is the one in which every element maps to itself.
For example, consider a set .
Now, the reflexive relation will be .
Hence, a relation is reflexive if:, where is the element, is the set and is the relation.