离散数学中集合上二元关系的判定及实现