Item 0.4.18.a.

there is an injective function \(f:X \to Y\text{?}\) Explain.

in-context