Es decir, se establece que la integral de "f" es el supremo de todas las integrales de funciones escalonadas que son más pequeñas o iguales que "f".