El documento define una relación entre dos conjuntos numéricos A y B como un conjunto de pares ordenados (x, y) donde x pertenece a A y y pertenece a B. Una relación es una función si cada elemento de A está relacionado con exactamente un elemento de B (existencia y unicidad). Se proveen ejemplos de relaciones que cumplen y no cumplen con estas propiedades de función. Además, se define dominio como el conjunto de valores posibles de x e imagen como el conjunto de valores posibles de y para una función f: A → B.