Tag Archives: order-theory

Consider the set \(\mathcal P(\mathbb N)\) of the subsets of the natural integers \(\mathbb N\). \(\mathcal P(\mathbb N)\) is endowed with the strict order \(\subset\). Let’s have a look to the chains of \((\mathcal P(\mathbb N),\subset)\), i.e. to the totally ordered subsets \(S \subset \mathcal P(\mathbb N)\).

Some finite chains

It is easy to produce some finite chains like \(\{\{1\}, \{1,2\},\{1,2,3\}\}\) or one with a length of size \(n\) where \(n\) is any natural number like \[
\{\{1\}, \{1,2\}, \dots, \{1,2, \dots, n\}\}\] or \[
\{\{1\}, \{1,2^2\}, \dots, \{1,2^2, \dots, n^2\}\}\]

\(S\) is bounded above if there exists an element \(k \in X\) such that \(k \ge s\) for all \(s \in S\).

\(g\) is a greatest element of \(S\) is \(g \in S\) and \(g \ge s\) for all \(s \in S\). \(l\) is a lowest element of \(S\) is \(l \in S\) and \(l \le s\) for all \(s \in S\).

\(a\) is an supremum of \(S\) if it is the least element in \(X\) that is greater than or equal to all elements of \(S\).

Subsets with a supremum but no greatest element

Let’s give examples of subsets having a supremum but no greatest element. First consider the ordered set \((\mathbb R, \le)\) and the subset \(S=\{ q \in \mathbb Q \ ; \ q \le \sqrt{2}\}\). \(S\) is bounded above by \(2\). \(\sqrt{2}\) is a supremum of \(S\) as we have \(q \le \sqrt{2}\) for all \(q \in S\) and as for \(b < \sqrt{2}\), it exists \(q \in \mathbb Q\) such that \(b < q < \sqrt{2}\) because \(\mathbb Q\) is dense in \(\mathbb R\). However \(S\) doesn't have a greatest element because \(\sqrt{2}\) is an irrational number.

For our second example we take \(X = \mathbb N \times \mathbb N\) ordered lexicographically by \(\preceq\). The subset \(S=\{(0,n) \ ; \ n \in \mathbb N\}\) is bounded above by \((2,0)\). Moreover \((1,0)\) is a supremum. But \(S\) doesn’t have a greatest element as for \((0,n) \in S\) we have \((0,n) \prec (0,n+1)\).

Another example is the set \(X = \mathbb N \times \mathbb Z\) ordered lexicographically by \(\preceq\). The subset \(S=\{(0,n) \ ; \ n \in \mathbb N\}\) is bounded above by \((2,0)\) but has no supremum. Indeed, the elements greater or equal to all the elements of \(S\) are the elements \((a,b)\) with \(a \ge 1\). However \((a,b)\) with \(a \ge 1\) cannot be a supremum of \(S\), as \((a,b-1) \prec (a,b)\) and \((a,b-1)\) is greater than all the elements of \(S\).