Sigma-Discrete Set of Subsets is Sigma-Locally Finite
Jump to navigation
Jump to search
This article needs proofreading. Please check it for mathematical errors. If you believe there are none, please remove {{Proofread}} from the code.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code. |
Theorem
Let $T = \struct {S, \tau}$ be a topological space.
Let $\FF$ be a $\sigma$-discrete set of subsets of $S$.
Then $\FF$ is a $\sigma$-locally finite set of subsets of $S$.
Proof
This follows immediately from:
- Definition:Discrete Set of Subsets
- Definition:Locally Finite Set of Subsets
- Discrete Set of Subsets is Locally Finite
$\blacksquare$