Uma função f: A ? B é dita injetiva se, e somente se, elementos distintos do domínio A são associados a elementos distintos do contradomínio B, garantindo que cada elemento de B seja imagem de pelo menos um elemento de A.