Maximal intersecting families choose one member of every complementary pair
ID: maximal-intersecting-families-choose-one-member-of-every-complementary-pair
A maximal intersecting family is an up-set. It cannot contain both a set and its complement. If neither were present, maximality would supply a member disjoint from the first set, and upward closure would then include its complement. Thus precisely one member of each complementary pair occurs, so the family has members for .
New to topics? Read the docs here!