Skladanie funkcji Kuba: Witam mam udowodnić że (g°f)⁻¹=f⁻¹°g⁻¹ muszę skorzystać tego że f°f⁻¹=Idx i z czego jeszcze?

PW: Po lewej stronie mamy przekształcenie odwrotne do x → y=f(x) → z=g(y) czyli z → y → x, ostatecznie z → x. Po prawej stronie (przy tych samych oznaczeniach) jest przekształcenie działające następująco: z → y → x czyli ostatrecznie z → x − to samo co po lewej. Prawdę mówiąc jest to tak oczywiste, że moglibyśmy poprzestać na "rysunku ze strzałkami".

PW: Nic nie pisałem o różnowartościowości, bo to założenie tkwi w definicji funkcji odwracalnej.