Tal conjunto "T" tiene una "cota superior" "u" ∈ "P" si "t" ≤ "u" para cualquier "t" ∈ "T"; no se necesita que "u" sea miembro de "T".