En matemàtiques es diu que una funció és injectiva quan cada imatge de la funció (cada element del conjunt recorregut) es correspon a una antiimatge diferent del conjunt de sortida (el domini).