5.5.2 等价类