Una correspondencia es una aplicación biyectiva si cumple las condiciones de unicidad de imagen, existencia de imagen, unicidad de origen y existencia de origen: