09_划分、等价关系