Trichotomy Law
From ProofWiki
Disambiguation
This page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.
Trichotomy Law may refer to:
- Trichotomy Law (Ordering): An ordering $\preceq$ is a total ordering iff:
- $\forall a, b \in S: a \prec b \lor a = b \lor a \succ b$
- Trichotomy Law (Integral Domain): in an ordered integral domain, the positivity property $P$ is such that:
- $\forall a \in D: P \left({a}\right) \lor P \left({-a}\right) \lor a = 0_D$