Una "f" de un conjunto "X" a un conjunto "Y" es una regla de correspondencia que asocia a cada elemento "x" de "X" un único elemento "y" de "Y". El elemento "y" se llama la imagen de "x" bajo "f" y se denota por . El conjunto "X" se llama el y el conjunto "Y" contradominio. El consta de todas las imágenes de los elementos de "X".