previous up next
Go backward to Example
Go up to Top
Go forward to Function Inversion
RISC-Linz logo

Function Composition

Proposition: The composition of two bijective functions is bijective:

forall A, B, C, f: A ->bijective B, g: B ->bijective C:
   f o g: A ->bijective C.

Proof: Take arbitrary f: A ->bijective B, g: B ->bijective C.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next