Paper 4, Section I, E
Part IA, 2009
Let and be relations on a set . Let us say that extends if implies that . If extends , then let us call an extension of .
Let be a relation on a set . Let be the extension of defined by taking if and only if or . Let be the extension of defined by taking if and only if or . Finally, let be the extension of defined by taking if and only if there is a positive integer and a sequence such that , and for each from 1 to .
Prove that is reflexive, is reflexive and symmetric, and is an equivalence relation.
Let be any equivalence relation that extends . Prove that extends .