2.5.5 约束