基础回顾 集合与关系 闭包 r(R ) reflexive re-,向后,往回,-flex,弯,转,词源同 flexible,reflect.引申词义诸相关词义。 s(R ) symmetric t(R ) transitivity 理解:每一步元素为1表示该传递有效,为0则不从他起头,从别的起点开始 *类比:Floyd算法* 证明方法:按照r,s,t集合形式定义 关系的性质 证明等价关系 函数 题目 1.空集反例,同时要搞清楚包含的考虑 2.区别定义域 3.判断空集的影响 (6) 总结: