对离散数学中二元关系的判定及自反、对称、传递闭包的计算