Branches History Index

◀ ▲ ▶Branches / Set-theory / Proposition: Composition of Bijective Functions is Bijective

Proposition: Composition of Bijective Functions is Bijective

Let $A,B,C$ be sets and let $f:A\to B$ and $g:B\to C$ be bijective functions. Then the composition $(g\circ f):A\to C$ is also bijective.

Table of Contents

Proofs: 1

Mentioned in:

Motivations: 1
Proofs: 2
Propositions: 3

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs

References

Bibliography

  1. Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016