想问一下离散数学的自反和反自反、对称和反对称的判断问题