The motivation for considering completeness properties derives from the great importance of suprema (least upper bounds, joins, "formula_1") and infima (greatest lower bounds, meets, "formula_2") to the theory of partial orders.