4.1 定义约束