Research Concept

Completeness (order theory)

(in the mathematical area of order theory) completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset)