Sea formula_4 un conjunto (en principio pudiera ser vacío, pero es un caso trivial), formula_3 y formula_28 dos números enteros, una familia formula_68 en la que cada formula_69 es un abierto y cada formula_70 una aplicación inyectiva, de manera que se cumpla que: