Dados dos conjuntos finitos formula_7 e formula_5, entonces existirá una biyección entre ambos si y sólo si formula_7 e formula_5 tienen el mismo número de elementos.