西安电子科技大学$3.4.3关系闭包的性质软件学院集合A上的二元关系R的闭包运算可以复合，例如ts(R)=t(s(R)表示R的对称闭包的传递闭包，通常简称为R的对称传递闭包。而tsr(R)则表示R的自反对称传递闭包。『定理』设R是集合A上的二元关系，则有(a）如果R是自反的，那么s(R)和t(R)也是自反的;(b）如果R是对称的，那么r(R)和t(R)也是对称的;(c）如果R是传递的，那么r(R)也是传递的。西安电子科技大学 §3.4.3 关系闭包的性质 软件学院 集合A上的二元关系R的闭包运算可以复合，例如: ts(R)=t(s(R)) 表示R的对称闭包的传递闭包，通常简称为R的对称传递闭 包。而tsr(R)则表示R的自反对称传递闭包。 『定理』设R是集合A上的二元关系，则有 （a）如果R是自反的，那么s(R)和t(R)也是自反的； （b）如果R是对称的，那么r(R)和t(R)也是对称的； （c）如果R是传递的，那么r(R)也是传递的