Funkcja na

[Wap2121]

Niech \(f\colon A\to B\). Udowodnij, że \(f\) jest na \(B\) wtedy i tylko wtedy, gdy dla dowolnego zbioru \(C\) i dowolnych funkcji \(g,h\colon B\to C\) zachodzi implikacja \((g\circ f=h\circ f)\implies g=h\).

[grdv10]

Prześledź uważnie metody, jakimi posłużyłem się w Twoim temacie o różnowartościowości i postępuj podobnie. Spróbuj napisać tu odpowiednie rozumowanie.