Si una aplicación es inyectiva y sobreyectiva simultáneamente, se denomina biyectiva.