生成等价关系的性质

• The properties of a generated equivalence relation