Connectedness is connected union-closed

From Topospaces

Statement

Version using a pivoting set

Suppose X is a topological space. Suppose A is a subset of X and Bi,i∈I is a collection of subsets of X. Suppose that:

  1. A is a connected space in the subspace topology.
  2. For each i∈I, Bi is a connected space in the subspace topology.
  3. A∩Bi is non-empty for each i∈I>

Then, the space:

A∪⋃i∈IBi

is a connected space in the subspace topology from X.

Version using finite hopping

Fill this in later