Paper 4, Section I, D
(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 .
Typos? Please submit corrections to this page on GitHub.