  We develop a Van der Waerden type theorem in an axiomatic setting of graded
lattices and show that this axiomatic formulation can be applied to various
lattices, for instance the set partition and the Boolean lattices. We derive
the Hales-Jewett theorem as a corollary.
