Reflexive relation
binary relation over a set in which every element is related to itself
A relation is said to be reflexive when for all members of the relations R, x=x.
For example, for the set A, which only includes the ordered pair (1,1). The relation is reflexive as 1=1.
