Una función es medible si la preimagen de cualquier intervalo cerrado pertenece a X, es decir, es un conjunto medible: