Definition:Non-Meager Space