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!