El producto Cartesiano entre dos conjuntos de $A,B$, señaló $A \times B$ se define como el conjunto $$A \times B = \left \{ (x,y) : x \in A \wedge y \in B \right \}$$
Una relación $R$ es un subconjunto de un producto cartesiano: $$R \subseteq A \times B$$
Una función de $f$ es un triplete $f=(F,A,B)$ donde $A,B$ son conjuntos ($A$ es llamado el dominio de $f$, $B$ el codominio) y $F$ es una relación $F \subseteq A \times B$ con las propiedades adicionales:
$$(x,y)\in F \wedge (x,z) \in F \Rightarrow x=z$$
$$\forall x \in A \exists y \in B \ \text{such that} \ (x,y)\in F$$
La primera es la costumbre de la propiedad de las funciones y la segunda significa, en términos simples, que "$f$ está definido para cada elemento de a $A$".
Tomamos nota de esto diciendo que la $f: A \to B$.
Por último, dado un conjunto no vacío $A$, una operación binaria $\ast$ $A$ es una función de $$\ast: A \times A \to A$$
Por convención, la imagen de $\ast(x,y)$ es generalmente nota b y $x \ast y$