更改

但是，其中的某些分组方案lumpable，也有某些分组方案non-lumpable。

但是，其中的某些分组方案lumpable，也有某些分组方案non-lumpable。

所以，整个链条应该是这样的：Lumpable的粗粒化方案 <math>\in</math> Hard Partitioning <math>\in</math> 良定义的粗粒化方案。

所以，整个链条应该是这样的：Lumpable的粗粒化方案 <math>\subsetneqq</math> Hard Partitioning <math>\in</math> 良定义的粗粒化方案。