Nonmeager space

Summary