Trichotomy

Generally, a trichotomy is a splitting into three disjoint parts. In mathematics, the most concrete law of trichotomy that is usually seen is the statement that for any real numbers x and y, exactly one of the following relations holds:

x < y,

x = y,

x > y.

More generally, a law of trichotomy is any statement that for some binary relation on some set S, which we may denote by using the "less than" symbol "<", and for any two members x, y ∈ S, exactly one of the relations above holds. For a transitive binary relation this is exactly equivalent to saying that the binary relation in question is a linear ordering of the set S.

In the special case of cardinal numbers, trichotomy is equivalent to the Axiom of Choice.

In taxonomy a trichotomy is speciation of three groups from a common ancestor, where it is unclear or unknown in what chronological order the three groups split.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.