Por ejemplo, la integral de formas diferenciables en variedades paracompactas se define en primer lugar localmente y se extiende a todo el espacio por medio de particiones de la unidad.