Let , , and be sets.
- Every bijection is injective; that is, implies for all .
- If and are bijections, then the map defined by is a bijection.
- If is a bijection and , then, writing , the restriction of to is a bijection from onto .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.