1. Un tel ensembleK est une classe topologique abstraite de M. Fréchet; voir M. Fréchet, Sur la terminologie des ensembles abstraits (Congrès Soc. Sav. Dijon 1924); cf. M. Fréchet, Ann. Ec. Norm.38 (1921), p. 356 et son «Esquisse» de Calcutta (citée plus loin), p. 360.
2. E⊃P désigne que l'ensembleE est contenu dansP.
3. Cette propriété subsiste d'ailleurs pour les fonctions plurivoques (où à chaque élémentp deP correspond un sous-ensemblef(p) deQ, et où on comprend parf(E) l'ensemble-somme de tous les ensemblesf(p) correspondant aux élémentsp deE).
4. q∈H désigne queq est un élément de l'ensembleH.
5. L'ensemble dérivé de tout ensembleE⊃K étant contenu dansK, il en résulte que l'ensembleK est fermé (puisqueK'⊃K).