COMP9020 Formatif Tasks 2025 Term 1
W3.P2
Let S be an arbitrary non-empty set. Prove that for all binary relations
R1, R2, R3 ⊆ S × S:
(R1;R2);R3 = R1; (R2;R3)
Hint: Prove (a, d) ∈ (R1;R2);R3 if and only if (a, d) ∈ R1; (R2;R3)
1

学霸联盟