Example 40.1:

The most important example of a directed set is of course $\mathbb{N}$ with its usual order and (40.1)-(40.2) furnish examples of directed systems of topological spaces and abelian groups indexed by $\mathbb{N}$, where the maps $f_{\alpha\beta}$ are inclusions.

We record a lemma whose proof is left for the student to verify