Let be a topological space. For a subset write for the complement of relative to , so that is closed in exactly when . Let denote the natural numbers.
Then the following hold.
1. The empty set and the whole set are closed in .
2. For every and all subsets that are closed in , the set of all such that for at least one is closed in .
3. For every set and every family of subsets of such that is closed in for every , the set of all such that for every is closed in .
Loading…
No relations recorded yet.