Se dice que una función tiene soporte compacto si el conjunto donde no es nula conforma un conjunto cerrado y acotado.
Por ejemplo, si se tiene una función cualquiera, se define el soporte de ésta como sigue:
Si el de es un conjunto cerrado y acotado, entonces es compacto.