Example. Every discrete poset is a DCPO [math-4J1T]

Every discrete poset (A,=)(A, =) is a DCPO, every singleton sets ∀x∈A,{x}\forall x \in A, \{ x \} are directed, with least upper bound xx.