Definiciones importantes: Producto cartesiano función dominio codominio, rango uno a uno onto biyección mapa de identidad función inversa composición imagen pre-imagen A×B \(f : A \rightarr...Definiciones importantes: Producto cartesiano función dominio codominio, rango uno a uno onto biyección mapa de identidad función inversa composición imagen pre-imagen A×Bf:A→Bf(a)∀a1,a2∈AIAf−1g∘f{f(a)∣a∈A}f(A1)f−1(B1) Una funciónf:A→B tiene una inversaf−1:B\righarrowA ifff es una biyección. La inversa de una biyección es una biyección