Una correspondencia es biunívoca si cumple las condiciones de unicidad de imagen y unicidad de origen: