3.7.1 特殊有序集约束