Definition 3.3.20 (Bijective functions). Functions \(f:X\to Y\) which are both one-to-one and onto are also called bijective or invertible.
Definition 3.3.20
-
Exercise 3.3.3
\(f:\emptyset\to\emptyset\) is bijective by Definition 3.3.20 \(\square\)