[color=#0000ff][color=#0000ff][b][u]Def. 1:[/u] [/b][/color][color=#0000ff]Sea [/color][math]f:A\rightarrow B[/math][color=#0000ff] una función. [br][list=1][*][color=#0000ff][color=#0000ff][math]f[/math] es [b]inyectiva [/b]si valores distintos del dominio tienen siempre distinta imagen. Es decir, [center][math]\forall x_1,x_2\in A[/math][code][/code], con [math]x_1\ne x_2[/math], se cumple que [math]f\left(x_1\right)\ne f\left(x_2\right)[/math][/center][/color][/color][/*][*][color=#0000ff][color=#0000ff][math]f[/math] es [b]sobreyectiva [/b]si todos los valores del codominio tienen preimagen. Es decir,[br][center][math]Im\left(f\right)=B[/math][/center][/color][/color][/*][*][math]f[/math] es [b]biyectiva [/b]si es inyectiva y sobreyectiva (en este caso, [math]f[/math] establece una [i]correspondencia biunívoca[/i] entre los conjuntos [math]A[/math] y [math]B[/math]).[/*][/list][/color][br][u][b]Def. 2[/b]:[/u] [/color][color=#0000ff]Sea [/color][math]f:A\rightarrow B[/math][color=#0000ff] una función biyectiva. [br][/color][color=#0000ff]La [b]función inversa de [/b][/color][math]f[/math][color=#0000ff], que notamos [/color][math]f^{-1}[/math][color=#0000ff], hace el recorrido [/color][math]B\longrightarrow A[/math][color=#0000ff] y se define por:[br][/color][center][math]f^{-1}\left(y\right)=x[/math][color=#0000ff] [/color][math]\Longleftrightarrow[/math][color=#0000ff] [/color][math]f\left(x\right)=y[/math][color=#0000ff]  ( para todo [math]y\in B[/math] )[/color][/center]