Este documento describe las relaciones y funciones. Explica que el dominio de una relación es el conjunto de las primeras componentes de los pares ordenados, mientras que el recorrido es el conjunto de las segundas componentes. Una relación es una función si cada elemento del dominio tiene una única imagen en el recorrido.