Inclusion Mapping is Injection

Theorem
An inclusion mapping is an injection.

Proof
Suppose $$i \left({s_1}\right) = i \left({s_2}\right)$$.