Se f: A → B é uma função injetiva, então existe uma função g: B → A tal que g o f = idA, em que idA: A → A é a função identidade em A.
