En matemáticas, correspondencia entre dos conjuntos tal que a todo elemento de uno de ellos le corresponde uno y sólo uno del otro. También conocida como función biyectiva o biyección, es una función matemática que es tanto inyectiva como sobreyectiva. Esto significa que cada elemento del conjunto de partida tiene una imagen única en el conjunto de llegada, y cada elemento del conjunto de llegada es la imagen de un único elemento del conjunto de partida. Formalmente, una función f : A ⟶ B {\displaystyle f:A\longrightarrow B} es una biyección si cumple las siguientes dos condiciones: 1. Inyectividad: Para todo x 1 , x 2 ∈ A {\displaystyle x1,x2\in A} , si f ( x 1 ) = f ( x 2 ) ...