Hales-Jewett theorem

(mathematics) A fundamental combinatorial result of Ramsey theory, concerning the degree to which high-dimensional objects must necessarily exhibit some combinatorial structure, and cannot be completely random.