Combinatorics / CONCEPT

Geodesics in hereditary finite-support flip graphs

For a hereditary family of finite subsets of any ambient type, one-coordinate flips give native graph distance equal to symmetric-difference cardinality. Its distance intervals are exactly the legal supports between intersection and union.