想請問課本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對稱性導出交,聯集的對稱性