Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-4/16h/c/i/solution

The family is nonempty, excludes the empty set, is closed under finite intersections, and is upward closed. It is therefore a filter. For every , either or , so either or . Hence is the principal ultrafilter at .

New to topics? Read the docs here!