فرهنگستان زبان و ادب {Baire category theorem} [ریاضی] قضیه ای که بر طبق آن هر فضای سنجه ای کامل یک مجموعۀ رسته دوم است