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