es binaria si existen tres conjuntos
En teoría de conjuntos, una función binaria se puede representar como un subconjunto del producto cartesiano
define una función binaria si y solo si para cualquier
Es decir, se utiliza el mismo par de paréntesis para indicar tanto la función aplicación como la formación de un par ordenado.
La división de números enteros puede considerarse como una función.
es el conjunto de los números enteros,
es el conjunto de los números naturales (excepto cero) y
es el conjunto de los números racionales, entonces la división es una función binaria
En un espacio vectorial V sobre un cuerpo F, la multiplicación escalar es una función binaria.
Otro ejemplo es el de los productos internos, o más generalmente, funciones de la forma
, donde x, y son vectores con valores reales de tamaño no impropio y M es una matriz.
Si M es una matriz definida positiva, esta aplicación genera un espacio prehilbertiano.
[1] Las funciones cuyo dominio es un subconjunto de
a menudo también se denominan funciones de dos variables incluso si su dominio no forma un rectángulo y, por lo tanto, no es el producto cartesiano de dos conjuntos.
[2] A su vez, también se pueden generar funciones ordinarias de una variable a partir de una función binaria.
De manera similar, dado cualquier elemento
En informática, esta identificación entre una función de
Por ejemplo, en el caso de la división anterior es sobreyectiva porque cada número racional puede expresarse como un cociente de un número entero y un número natural.
Este ejemplo es inyectivo en cada entrada por separado, porque las funciones f x y f y son siempre inyectivas.
También se pueden considerar funciones binarias "parciales", que pueden definirse solo para ciertos valores de las entradas.
Por ejemplo, en el caso de la división anterior también puede interpretarse como una función binaria parcial de Z y N a Q, donde N es el conjunto de todos los números naturales, incluido el cero.
Una operación binaria es una función binaria donde los conjuntos X, Y y Z son todos iguales.
Las operaciones binarias se utilizan a menudo para definir estructuras algebraicas.
En álgebra lineal, una transformación bilineal es una función binaria donde los conjuntos X, Y y Z son todos espacios vectoriales y las funciones derivadas f x y fy son todas aplicaciones lineales.
Una transformación bilineal, como cualquier función binaria, se puede interpretar como una función de X × Y a Z, pero esta función en general no será lineal.
Sin embargo, la transformación bilineal también se puede interpretar como una transformación lineal única mediante el producto tensorial
a Z. El concepto de función binaria se generaliza a función ternaria (o 3-aria), función cuaternaria (o 4-aria), o más generalmente a función n-aria para cualquier número natural n. Una función 0-aria para Z viene dada simplemente por un elemento de Z. También se puede definir una función A-aria, donde A es cualquier conjunto, y existe una entrada para cada elemento de A.
En teoría de categorías, las funciones n-arias se generalizan a morfismos n-arios en una multicategoría.
La interpretación de un morfismo n-ario como morfismos ordinarios cuyo dominio es algún tipo de producto de los dominios del morfismo n-ario original funcionará en una categoría monoidal.
La construcción de los morfismos derivados de una variable funcionará en una categoría monoidal cerrada.