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…
No relations recorded yet.