约束的分类