离散数学等价类定义