In supermodular games, higher opponent strategies make higher own strategies more attractive. The equilibrium set is a complete lattice. Existence follows from Tarski, not Kakutani. Best response dynamics converge. Comparative statics are monotone. This module builds the lattice-theoretic foundations and proves the full equilibrium theory.
