Formalmente, la clausura superior de un conjunto "S" en un poset "P" viene dado por el conjunto {x en "P"| hay algún "y" en "S" con "y" ≤ "x"}.