3.1.1 格的定义