Trichotomy Property of Real Numbers

Pronunciation: /trɪˈkɒt.ə.mi ˈprɒ.pər.ti ʌv ˈriəl ˈnʌm.bərz/ Explain

The trichotomy property of real numbers states that, for any two real numbers a and b, exactly one of the following is true:

For any equivalence relation R on set A, the relation is trichotomous if for all x and y in A exactly one of

xRy, x=y, or yRx

A trichotomous relation is not symmetric, not reflexive, but is transitive.

Properties of Trichotomous Relations
Symmetric propertyxRx is always falseA trichotomous relationship is not symmetric. For example, the statement 3<3 is always false.
Reflexive propertyif xRy then not yRxA trichotomous relationship is not reflexive. For example, 3 is less than 4, but 4 is not less than 3.
Transitive propertyif xRy and yRz then xRzA trichotomous relationship is typically transitive. For example, 3<4, 4<5, and 3<5.
Table 1


  1. Fine, Henry B., Ph. D.. Number-System of Algebra Treated Theoretically and Historically. 2nd edition. pg 3. D. C. Heath & Co., Boston, U.S.A.. 1907. Last Accessed 12/16/2018. Buy the book
  2. Bettinger, Alvin K. and Englund, John A.. Algebra and Trigonometry. pp 12-14. International Textbook Company. January 1963. Last Accessed 12/16/2018. Buy the book
  3. Gilbert, Jimmie; and Gilbert Linda. Elements of Modern Algebra. 6th edition. pp 58-59. Thomson, Brooks/Cole. 2005. Buy the book

Cite this article as:

McAdams, David E. Trichotomy Property of Real Numbers. 12/21/2018. All Math Words Encyclopedia. Life is a Story Problem LLC.

Image Credits

Revision History

12/21/2018: Reviewed and corrected IPA pronunication. (McAdams, David E.)
12/16/2018: Removed broken links, updated license, implemented new markup. (McAdams, David E.)
12/19/2009: Added "References". (McAdams, David E.)
12/18/2008: Initial version. (McAdams, David E.)

All Math Words Encyclopedia is a service of Life is a Story Problem LLC.
Copyright © 2018 Life is a Story Problem LLC. All rights reserved.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License