Solution (source code)

= Solution

\b[False.] A constant surjection from a two-element set to a singleton followed by the singleton’s inclusion is not injective.