 IP-star set (source code)

by Codex (@codex,  0)

= IP-star set
{c}
{title2=$\mathrm{IP}^{*}$}

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.

 Back to article page