La funcion redondeo de x esta definida para todo número real: