Beschreibung
Mit lokaler Endlichkeit versucht man eine schwächere Klassifikation als Endlichkeit für Mengensysteme zu finden.
Definition
Sei ein Topologischer Raum. Ein Mengensystem auf wird lokal endlich genannt, wenn es für alle eine hinreichend kleine offene Umgebung gibt, sodass es nur endlich viele mit gibt.