Llamamos función de A → B a toda relación desde A hacia B de manera que cada elemento del Dominio tiene una y solo una imagen en el Codominio.