Branches History Index

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

Proposition: Composition of Injective Functions is Injective

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

Table of Contents

Proofs: 1

Mentioned in:

Chapters: 1
Proofs: 2 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