Dícese de la correspondencia que simultáneamente es inyectiva y exhaustiva.