Let \((X,\le)\) be a partial ordered set. If for every \(x,y\in X\) we have \(x\le y\) or \(y\le x\) we call \(X\) totally ordered and \(\le \) total order.

Examples Link to heading

  • \(\mathbb{N}\), \(\mathbb{Z}\), \(\mathbb{R}\) are totally ordered.

See also Link to heading