Sea S = sup(A), A un conjunto no vacío.