A Poset P 𝑃 P is a directed-complete partial order or DCPO if every every diagram f : D → P : 𝑓 → 𝐷 𝑃 f:D\to P from a Directed Set has a Join.