, si és injectiva

si, i només si,

és l'antiimatge per de

pot ser injectiva i no bijectiva

Si existeix una aplicació injectiva de a , llavors existeix alguna aplicació exhaustiva de a

Sempre hi ha una aplicació de a

Sempre hi ha una aplicació injectiva de a

Sempre hi ha una aplicació injectiva de a o una aplicació exhaustiva de a

La unió numerable de conjunts numerables és numerable

Tot conjunt numerable és discret

El conjunt dels nombres irracionals és numerable

Existeix una bijecció entre el conjunt dels nombres primers i el conjunt de tots els nombres naturals