Dada una correspondencia matemática entre todos los elementos del conjunto X con los elementos del conjunto Y, diremos que esta correspondencia: f, es una aplicación entre X e Y cuando cada elemento de X está relacionado con un único elemento de Y.