Este documento define e ilustra tres tipos de funciones: inyectivas, sobreyectivas y biyectivas. Una función es inyectiva si cada elemento del conjunto de llegada tiene un único elemento predecesor en el conjunto de partida. Es sobreyectiva si cada elemento del conjunto de llegada es imagen de al menos un elemento del conjunto de partida. Es biyectiva si es a la vez inyectiva y sobreyectiva.