El conjunto "P" es un subconjunto propio de "N", y la regla de asignación formula_2 es una biyección: