3.4 约束的偏序规则