Reflexive property
From AoPSWiki
(Redirected from Reflexive)
A binary relation 
on a set 
is said to be reflexive or to have the reflexive property if 
for all 
.
For example, the relation of similarity on the set of triangles in a plane is reflexive: every triangle is similar to itself. However, the relation on the real numbers given by 
if and only if 
is not reflexive because 
does not hold for at least one real value of 
. (In fact, it does not hold for any real value of , but we only need the weaker statement to disprove reflexivity.)
See also
This article is a stub. Help us out by expanding it.
