De forma más precisa, les funciones compactamente soportaes formen un espaciu vectorial que porta una topoloxía natural, y puede definise una midida (Radon) como cualesquier funcional llineal continuu d'esti espaciu; entós el valor d'una midida nuna función compactamente soportada, ye tamién, por definición, la integral de la función.