 IP-star set

An IP-star set meets every IP set. Equivalently, its complement is not an IP set: a disjoint IP set is precisely an IP subset of the complement. This is a condition on all infinite finite-sums sets, not merely on a single generating sequence.