مبرهنة باير

نسمي فضاء طبولوجيا فضاء باير إذا كانت كل التقاطعات في مجموعة منتهية لمفتوح كثيف كثيفة.

مبرهنة باير

1. الفضاء الطبولوجي محليا مضغوط E هو فضاء باير.
2. الفضاء المتري الكامل (E,d) (أيضا فضاء بناخ) هو فضاء باير.