西安电子科技大学$3.4.2关系闭包的计算软件学院家「定理」设R是集合A上的二元关系，那么有（a）R是自反的当且仅当I（R=R；（b）R是对称的当且仅当s（R)=R（c）R是传递的当且仅当t（R）=R。西安电子科技大学 §3.4.2 关系闭包的计算 软件学院