A relation 
on a set 
is reflexive provided that 
for every 
in 
.
Reflexive
See also
RelationExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Reflexive." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Reflexive.html