Este documento descreve três tipos de funções: injetoras, sobrejetoras e bijetoras. Uma função injetora mapeia cada elemento do domínio para um único elemento do contradomínio. Uma função sobrejetora mapeia o domínio para todo o contradomínio. Uma função bijetora é ao mesmo tempo injetora e sobrejetora.