6. Du moins pour les espaces localement de dimension finie ; cette restriction est raisonnable : en géométrie différentielle par exemple, une variété est toujours localement de dimension finie. Algébriquement, cela veut dire que les anneaux peuvent être supposés noethériens sans trop de remords.