Pointed Directed-Complete Partial Order

A pointed directed-complete partial order or pointed DCPO is a Poset $P$ that has Joins of all diagrams $f:D\to P$ of Semidirected Sets.