Definition:Non-Meager Space/Also known as

Non-Meager Space: Also known as
A subset which is non-meager in $T$ is also referred to as of the second category in $T$.