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