3.11.1 定义约束