Por lo tanto, encontramos la menor cota superior de un conjunto de conjuntos.