Ausdehnung
Definition
Die Ausdehnung E(X) eines topologischen Raums X ist das Supremum der Kardinalitäten abgeschlossener diskreter Teilräume von X; äquivalent die größte Kardinalzahl κ, sodass X ein abgeschlossenes diskretes Teilset der Kardinalität κ enthält.