Indiskernierbare Menge

Eine Teilmenge oder Folge einer Struktur, deren endliche Tupel über einer festen Parameterbasis denselben Typ haben, sofern die Tupel denselben Ordnungs‑Typ innerhalb der Menge besitzen; äquivalent: keine Formel mit Parametern aus der Basis unterscheidet Tupel, die ordrequivalent sind.