等价类划分实例