Sejam !$ A !$ e !$ B !$ dois conjuntos não vazios, e considere duas funções: !$ f !$:!$ A !$→!$ B !$ e !$ g !$:!$ B !$→!$ A !$. Defina os conjuntos !$ C !$={ !$ f !$(!$ a !$):!$ a !$∈!$ A !$} e !$ D !$={!$ b !$∈!$ B !$:!$ g !$(!$ b !$)∈!$ A !$}. Julgue a seguinte afirmativa:
Item 4 - Se a função !$ k !$:!$ C !$×!$ A !$→!$ B !$×!$ A !$ definida por !$ k !$(!$ b !$,!$ a !$)=(!$ f !$(!$ g !$(!$ b !$)),!$ g !$(!$ f !$(!$ a !$))) satisfizer !$ k !$(!$ b !$,!$ a !$)=(!$ b !$,!$ a !$), então as funções !$ f !$ e !$ g !$ são ambas bijeções.
