Uma função f: A → B é injetiva se cada elemento de B tem no máximo um elemento de A que o mapeia. Uma função f: A → B é bijetiva se ela é injetiva e cada elemento de B tem exatamente um elemento de A que o mapeia, ou seja, a função é tanto injetiva quanto sobrejetiva.