离散数学中,集合(a b c)上的二元关系 还有为什么是传递关系跟它们的关系定义一点