@jdw this feels very connected to independence systems (and perhaps matroids, but not necessarily)