The function composition of two bijections is a bijection. Its inverse function is two-sided, soThis is exactly the defining cancellation property of an inverse function, with the whole function composition regarded as one function.
Articles by others on the same topic
There are currently no matching articles.