El hecho de que formula_32 sea el cardinal singular más pequeño posible significa que es el cardinal más pequeño tal que su cofinalidad es menor que el propio cardinal, es decir: