Definition
Consider a Topological Space and a subspace . The subset is the second category in if it is not a countable union of nowhere dense subsets of (not the First Category Set).
Consider a Topological Space and a subspace . The subset is the second category in if it is not a countable union of nowhere dense subsets of (not the First Category Set).