Item
0.4.18.a
.
there is an injective function
\(f:X \to Y\text{?}\)
Explain.
in-context