Item
0.4.19.c
.
\(|X| = |Y|\)
and
\(f\)
is injective but not surjective.
in-context