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 51作业君版权所有
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 51作业君版权所有
Email:51zuoyejun
@gmail.com