De forma más precisa, las funciones compactamente soportadas forman un espacio vectorial que comporta una topología natural, y se puede definir una medida (Radon) como "cualquier" funcional lineal continuo de este espacio; entonces el valor de una medida en una función compactamente soportada, es también, por definición, la integral de la función.