Bài tập 25, § 5

Cho $R$ là một quan hệ tương đương mở trên một không gian tôpô $X$. Chứng minh rằng nếu $X$ không mêagre (Bài tập 7) [tương ứng. là một không gian Baire, tương ứng. hoàn toàn không mêagre (Bài tập 12)], thì $X/R$ cũng vậy.