2.5.1 删除策略
归类
：设有两个子句C和D，若有置换σ使得Cσ
D成立，则称子句C把子句D归类。
画外音：
可以理解为，由于小的可以代表大的，所以小的吃掉大的了。
D成立，则称子句C把子句D归类。D成立，则称子句C把子句D归类。