Markowsky's theorem (order theory)

In mathematics, Markowsky's theorem states: every chain-complete poset is a dcpo where a poset is chain-complete if each chain in it has a least upper bound. a poset is a dcpo if each directed set in it has a least upper bound.

Source: Wikipedia — Markowsky's theorem (order theory) (CC BY-SA 4.0)