شرط "بِير" (Baire, condition of)

شرط "بِير" يُقال لفئةٍ جزئية $م$ من فراغ طوبولوجى $س$ إنَّها تحقق شرط "بِير" إذا أمكن أن توجد فئة مفتوحة تقريباً almost open $ف$ بحيث يكون هناك فئة واهية meager $ن$ يكون معها الفرق المتماثل بين $م$ و$ف$ فئةً واهيةً، أى إذا وُجدت فئة واهية $ن$ بحيث يكون $$(م \triangle ف) \subset ن,$$ حيث $م \triangle ف = (م \setminus ف) \cup (ف \setminus م)$ هو الفرق المتماثل.