Immune set
= Immune set
An <immune set> is infinite but contains no infinite <computably enumerable> subset. Thus its infinitude cannot be witnessed by any effective infinite listing that stays entirely inside the set. Finite strings can be treated as natural-number codes for this definition.