Essential disjointness of small subfamilies

ID: essential-disjointness-of-small-subfamilies

Any at-most- subfamily of an almost disjoint family on a regular cardinal becomes pairwise disjoint after deleting fewer than points from each member. Enumerate it in length at most and apply the displayed trimming. Each removed part is a union of fewer than small intersections, so regular cardinal arithmetic bounds it below .

New to topics? Read the docs here!