De hecho, esta cota superior es muy especial: es el más pequeño conjunto que contiene todos los conjuntos dados.