Uma função é
sobrejetora quando seu conjunto imagem for o próprio contra-domínio. Im = CD
 |
Im=B (não "sobram" elementos em B) |
Uma função é
injetora quando elementos distintos do domínio tem imagens distintas no contra-domínio.
 |
Podem "sobrar" elementos em B. |
Uma função é
bijetora quando for sobrejetora e injetora ao mesmo tempo.
 |
Não sobram elementos em B e para cada elementos de B chega uma e somente uma flecha. |