Bairescher Kategoriensatz
Sei
ein vollständiger metrischer Raum und
eine Folge von abgeschlossenen Mengen in
mit
. Dann existiert mindestens ein Index
, für den die Menge
einen inneren Punkt enthält.
ein vollständiger metrischer Raum und 
eine Folge von
abgeschlossenen Mengen in 
.
Dann existiert mindestens ein Index 
,
für den die Menge 
einen inneren
Punkt enthält.
