Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ia/paper-5/11/ii/solution
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 5 11 ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
If is transitive, then . Since , monotonicity of composition of relations giveswhich is condition (iii).
Conversely, condition (iii), associativity of composition of relations, and the identities , giveFor a direct chain description, start with . Replace its middle by using condition (iii), then use transitivity inside and to obtain . Hence is transitive. Conditions (ii) and (iii) are equivalent.
New to topics? Read the docs here!