5.12.4 基本概念:约束