de modo que a cada par ordenado (a, b) de números naturales se le asocia un tercer natural c, que es el producto de los dos primeros.