1) Tanım kümesindeki her $x$ için, $f(x)=-x+2$ olsun. O zaman $f^{-1}(x)=-x+2$ dir. Görüldüğü gibi $f=f^{-1}$ ama $f$ birim fonksiyon değil.
2) Eğer $f$ birim fonksiyon ise tanım kümesindeki her $x$ için $f(x)=x\Rightarrow x=f^{-1}(x)$ olur. Demek ki $f(x)=f^{-1}(x)=x,\quad f=f^{-1}$ olur.
3) $f(x)=x, g(x) =y$ olsun. $(fog)(x)=f(g(x))=f(y)=y=g(x)$ olur ancak $(gof)(x)=g(f(x))=g(x)\neq y$ olduğundan $f$ birim olamaz, fakat sol birim denebilir.