Colexicographic replacement can destroy intersection

ID: colexicographic-replacement-can-destroy-intersection

On five points, the four sets are an intersecting family. The first four two-element sets in colexicographic order are , containing the disjoint pair . Thus replacing a family by an equally large colexicographic initial segment can destroy intersection, even though it minimizes the lower shadow.

New to topics? Read the docs here!