DejarA,B yC ser conjuntos no vacíos y dejarf:A→B yg:B→C. ∙ Para todosa∈A y cada unob,c∈B, si(a,b)∈f y(a,c)∈f, entonces\(b = c...DejarA,B yC ser conjuntos no vacíos y dejarf:A→B yg:B→C. ∙ Para todosa∈A y cada unob,c∈B, si(a,b)∈f y(a,c)∈f, entoncesb=c. Si usamosf(a)=b siempre(a,b)∈f, entoncesf es una función deA aB. Entoncesf−1:B→A es una función, y para cadaa∈A yb∈B, Dejarf:S→T ser una función y dejarA\(beasubsetof\(S y dejarC ser un subconjunto deT.