Esta relación es análoga a la existente entre formula_1, los racionales, y formula_2, los enteros.