Es sei M {\displaystyle {}M} eine Menge. Unter der diskreten Topologie auf M {\displaystyle {}M} versteht man diejenige Topologie, bei der jede Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} offen ist.
