La función de parte entera, formula_1, que asigna a cada número real el entero menor o igual a dicho número es semi-continua superiormente en todo su dominio, similarmente formula_2, que asigna a cada número real el entero mayor o igual a dicho número, es semi-continua inferiormente en todo su dominio.