Este documento describe las relaciones, funciones y clasificación de funciones. Explica que una relación es una correspondencia entre un conjunto dominio y un conjunto recorrido, y que una función asigna a cada elemento del dominio un único elemento del codominio. Luego clasifica las funciones como inyectivas si cada elemento del codominio tiene un único predecesor, sobreyectivas si todo elemento del codominio es imagen de algún elemento del dominio, y biyectivas si son a la vez inyectivas y sobreyectivas.