Directed-complete partially ordered set