Por el que a cada número natural x de X, le asociamos un número par 2x de Y, se cumple: