This chapter introduces the six-vertex model defined on a two-dimensional square lattice. It describes the model in detail, since it gives an important prototype of many solvable lattice models defined on two-dimensional lattices. The eight-vertex model, which generalizes the six-vertex model directly, may be considered as the most important exactly solvable model in statistical mechanics. The chapter explores some features of the six-vertex model defined on a square lattice. It reviews a method for diagonalizing the transfer matrix, which is called the coordinate Bethe ansatz, and provides the expressions of the free energy per site in the ferroelectric, the antiferroelectric and the disordered phases, respectively. The chapter discusses some mathematical theories associated with integrable models such as the braid group and the quantum groups. It outlines the Ising model, the Potts models and the chiral Potts model and then the eight-vertex model and the interaction-round-a-face models.