Dado un subconjunto "S" de cierto poset "P", una cota superior de "S" es un elemento "b" de "P" que está sobre todo elemento de "S".