课程名称: 离散数学     本讲内容:5.1等价关系