The Ehrenfeucht–Fraïssé game on finite linear orders
The orders are Lm = {1, …, m} and Lm′ = {1, …, m′}. In each round Player I picks an element of either order and Player II answers in the other. Player II wins if, after n rounds, the matching preserves order and equality.