4.6.2 等价类