II.T11 — Dimension Four

The topological dimension of tau is exactly 4: four ABCD rays jointly separate all points (upper bound), pairwise independence shows no triple suffices (lower bound).