Una solución más formal requiere (entre otras opciones) la introducción de la noción de supremo.