展开 离散数学等价类怎么