Connectedness is connected union-closed
Statement
Version using a pivoting set
Suppose is a subset of and is a collection of subsets of . Suppose that:
- is a connected space in the subspace topology.
- For each , is a connected space in the subspace topology.
- is non-empty for each >
Then, the space:
is a connected space in the subspace topology from .
Version using finite hopping
Fill this in later