Since $\{ \{ x \} : x \in X \} \subseteq \mathcal{P}(X)$, this result is a consequence of the results

(i)	R2764: Canonical singleton map is bijection
(ii)	R4056: Extending codomain preserves injectivity

$\square$