II.T04 — Cylinder Basis Theorem

The collection of stage-k cylinders forms a basis for the cylinder topology on tau^3: they are clopen, nested by divisibility, and any two cylinders are either disjoint or nested.