想请问课本P-25
P-25定理2-4的证明为什么是假设a(R∩/∪S)b开始证
定理上写R、S具对称、递移，则a(R∩/∪S)b具对称、a(R∩S)b具递移
证明却不是从R、S具对称、递移开始证
是从哪开始证都可以，还是有原因得像课本那样证？
谢谢

若P则Q => 条件是P已成立 用P这条件证Q成立若R,S具对称性 => 已经假设条件是R,S有对称性,所以不用去证要用这个条件去证交集跟联集也具对称性所以任给元素属于交,联集 用R,S对称性导出交,联集的对称性