It’s reasonable to think of functions as machines that accept inputs and produce an output. But if we think of functions as bridges between two groups, we can start to make claims about the logical relationships between them.
Es razonable ver a las funciones como máquinas que aceptan entradas y producen salidas, pero si las viéramos como un puente entre dos grupos, podríamos empezar a afirmar sus relaciones lógicas.