La propiedad definitoria de dichos espacios es que toda función formula_9 con formula_10 admite una función primitiva.