Suponha que temos dois conjuntos não vazios (A e B) de números reais. Sejam !$ f: A \rightarrow B !$ e !$ g: B \rightarrow A !$ duas funções que satisfazem !$ g (f(x)) = x !$ para todo !$ x ∈ A !$. Julgue a seguinte afirmativa:
Item 4 - Se definimos !$ p: A × B \rightarrow A !$ como !$ p(x,y) = x !$ então !$ p !$ é sobrejetora.
