Is every $\omega$-complete (every countable ascending chain has a join) and co-$\omega$-complete (every countable descending chain has a meet) partial order already a complete lattice? My guess is that this is not the case, as an $\omega$-complete partial order does not need to be an DCPO. So, do these structures have a special name?
2026-04-24 08:13:01.1777018381
On
Name for partial order that is $\omega$-complete and co-$\omega$-complete?
110 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
0
On
No, of course not.
Consider the partial order $(\mathcal P_{\omega_1}(\Bbb R),\subseteq)$, that is all the countable subsets of $\Bbb R$ ordered by inclusion.
Every countable chain has a supremum: its union; and an infimum: its intersection. Indeed, every countable subset has a join and a meet.
But this is most certainly not a complete lattice since it has no maximum.
Such a partial order does not even have to be a lattice. For instance, take any finite poset that is not a lattice. Every ascending or descending chain is eventually constant, and so has a join or meet.