El documento describe las propiedades de funciones inyectivas, sobreyectivas y biyectivas. Una función es inyectiva si cada elemento del dominio tiene una única imagen, sobreyectiva si todas las imágenes del conjunto de llegada son alcanzadas, y biyectiva si es a la vez inyectiva y sobreyectiva. Las funciones biyectivas tienen una función inversa única.