Se dice que dos conjuntos formula_7 y formula_8 son coordinables o equipotentes si existe una función biyectiva o relación biunívoca entre ellos, es decir, que a cada elemento del conjunto formula_7 le corresponde un único elemento del conjunto formula_8 y viceversa (ver Figura 12).