Internal:
Introducing some basic definitions from topology which will be needed later down the line
→ Language for open/closed sets, limits
Here, we first introduce the concept of convergence on sequences, before generalizing the idea to functions