Inclusion Mapping is Injection

Theorem
An inclusion mapping is an injection.

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

$$ $$ $$ $$

Thus $$i$$ is an injection by definition.