Sea formula_1 un espacio métrico discreto infinito.