Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/16j/a/solution

A choice function on a family of nonempty sets satisfies . Zermelo's theorem says every set has a total order under which every nonempty subset has a least element.

New to topics? Read the docs here!