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.