El documento habla sobre conceptos de relaciones y funciones como dominio, recorrido, funciones, relaciones de equivalencia, particiones de conjuntos, diagramas de Hasse y álgebra relacional. 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 función requiere que cada elemento del dominio tenga una única imagen en el recorrido. También define relaciones de equivalencia y clases de equivalencia.