Exercise 20, § 4
General Topology, X, p. 60
Let be a completely regular space. Now prove that every subset of which is a countable intersection of non-empty open sets meets . Deduce that in order that be meagre in itself (resp. a Baire space), it is necessary and sufficient that be meagre in itself (resp. a Baire space).
Solution
No solution has been written yet.