Paper 4, Section II,
(a) Let be a function. Show that the following statements are equivalent.
(i) is injective.
(ii) For every subset we have .
(iii) For every pair of subsets we have .
(b) Let be an injection. Show that for some subsets such that
[Here denotes the -fold composite of with itself.]
Typos? Please submit corrections to this page on GitHub.