要使一个集合的复杂性下降，就要想办法使它有序；而要使一个集合有序，最好的办法就是对它按等价类进行分割