Proper noun
the 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.