Directed complete partial order