Sean “x” e “y” dos conjuntos, una aplicación f: x → y es un criterio mediante el cual todo elemento x ς X tiene asociado un elemento en Y que denotamos por f (x), y la llamamos la imagen de “x” por la aplicación de “f”. “X” se dice conjunto de partida de la aplicación. “Y” se dice clase o conjunto de llegada.

Si “f” es una aplicación: f (x) = y ς Y // existe x ς X // f (x) = y.

Una aplicación f: x → y se dice sobreyectiva o exhaustiva si la imagen estodo el conjunto de llegada.

Una aplicación es inyectiva si f (x) ≠ f (y) para x ς X e y ς Y.

Si se cumplen las dos condiciones anteriores hablaremos de una aplicación unívoca.