Namespaces
Variants
Actions

Difference between revisions of "Reflexivity"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
(Category:Logic and foundations)
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
A property of binary relations. A [[Binary relation|binary relation]] $R$ on a set $A$ is called reflexive if $aRa$ for all $a\in A$. Examples of reflexive relations are equality (cf [[Equality axioms]]), [[equivalence relation]]s, [[Order (on a set)|order]].
+
A property of binary relations. A [[binary relation]] $R$ on a set $A$ is called reflexive if $aRa$ for all $a\in A$. Examples of reflexive relations are equality (cf [[Equality axioms]]), [[equivalence relation]]s, [[Order (on a set)|order]].
 +
 
 +
====References====
 +
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Fraïssé, ''Theory of Relations'', Studies in Logic and the Foundations of Mathematics, Elsevier (2011) ISBN 0080960413</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  P. R. Halmos, ''Naive Set Theory'', Springer (1960) ISBN 0-387-90092-6</TD></TR>
 +
</table>
 +
 
 +
[[Category:Logic and foundations]]

Revision as of 18:46, 19 October 2014

A property of binary relations. A binary relation $R$ on a set $A$ is called reflexive if $aRa$ for all $a\in A$. Examples of reflexive relations are equality (cf Equality axioms), equivalence relations, order.

References

[a1] R. Fraïssé, Theory of Relations, Studies in Logic and the Foundations of Mathematics, Elsevier (2011) ISBN 0080960413
[a2] P. R. Halmos, Naive Set Theory, Springer (1960) ISBN 0-387-90092-6
How to Cite This Entry:
Reflexivity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Reflexivity&oldid=33961
This article was adapted from an original article by T.S. Fofanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article