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 Fk0 einen inneren Punkt enthält.