Por ejemplo, una función "división" puede tomar dos números naturales como valores de entrada (dividendo y divisor) y arrojar dos números naturales como valores de salida (cociente y resto).