Paper 4, Section I, D
Part IA, 2017
(a) Give the definitions of relation and equivalence relation on a set .
(b) Let be the set of ordered pairs where is a non-empty subset of and . Let be the relation on defined by requiring if the following two conditions hold:
(i) is finite and
(ii) there is a finite set such that for all .
Show that is an equivalence relation on .