Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/2/iv/b/solution

Take the graphs . Each has size , and any two meet in fewer than points, because their functions are eventually strictly ordered. Fix a bijection and let .
Given , enumerate it as and trim the sets in this order:
The deleted part is a union of fewer than pairwise intersections, each of size less than . Regularity ensures its size is less than . If , then is disjoint even from the full earlier , hence from its trimmed version. Thus all the retained sets are pairwise disjoint and each lost fewer than elements. This proves
The argument is the essential disjointness of small subfamilies of a regular-cardinal almost disjoint family.

New to topics? Read the docs here!