离散数学帮助你学习的课件讲述关系性质闭包等等