Cuando una función tiene ambas propiedades a la vez, se dice que es una biyección entre ambos conjuntos: