Gap-doubling closed family of infinite subsets
ID: gap-doubling-closed-family-of-infinite-subsets
The family is ordinarily closed and nowhere dense. A failed gap is witnessed by a finite prefix, and any cylinder can be refined by adjoining consecutive large integers that fail the gap. Nevertheless intersects every infinite-subset cone in continuum many sets: a binary tree chooses two sufficiently large next points inside its reservoir at each step.
New to topics? Read the docs here!