Difference between revisions of "Reflexive property"
m (Reflexive moved to Reflexive property) |
|
(No difference)
| |
Revision as of 10:51, 22 May 2007
A binary relation 
on a set 
is said to be reflexive 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.
