Donde formula_39 denota el supremo de un conjunto.