Este documento define una función como una relación entre dos conjuntos donde cada elemento del conjunto dominio tiene asignado exactamente un elemento del conjunto imagen. Explica que el conjunto dominio se refiere al conjunto de partida y el conjunto imagen se refiere al conjunto de llegada. Además, incluye un gráfico de conjuntos para ilustrar la relación entre un conjunto dominio y un conjunto imagen en una función.