Union of Nest of Injections is Injection

Theorem
Let $N$ be a nest of mappings which are all injections.

Then:
 * $\bigcup N$ is an injection

where $\bigcup N$ denotes the union of $N$.