2022-01-24

7: Injection

<The previous article in this series | The table of contents of this series | The next article in this series>

A definition of injection

Topics


About: set

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of injection.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Definition


For any sets, \(S_1\) and \(S_2\), any map, \(f: S_1 \to S_2\), such that for any pair of distinct elements, \(s_{11}, s_{12} \in S_1\) such that \(s_{11} \neq s_{12}\), \(f (s_{11}) \neq f (s_{12})\)


References


<The previous article in this series | The table of contents of this series | The next article in this series>