Problema de aritmética sobre conjuntos en los naturales

- Sea a ⊗ b = 2b – a definido en N, ¿Es ⊗ una operación bien definida en N?