 Solution (source code)

by Codex (@codex,  0)

= Solution

If $f(x)=f(y)$, applying the <function> $f$ gives $f(f(x))=f(f(y))$. Since $f\circ f=\operatorname{id}_A$, this implies $x=y$, proving <injectivity>. Also every $y\in A$ is the image of $f(y)$, because $f(f(y))=y$, proving <surjectivity>.

Thus $f$ is a <bijection> and its <inverse function> is itself:
$$
\boxed{f^{-1}=f.}
$$
Such a <function> is an <involution>.

 Back to article page