II.T07 — Compactness

The topological space tau^3 with the cylinder topology is compact, via Tychonoff's theorem applied to the inverse limit of finite discrete spaces.