离散数学-等价关系与偏序关系