Ensemble Indiscernable

Un sous‑ensemble ou une suite d'une structure dont les tuples finis ont le même type sur un ensemble de paramètres fixé chaque fois que ces tuples ont le même type d'ordre à l'intérieur du sous‑ensemble ; de façon équivalente, aucune formule avec paramètres du base ne distingue des tuples d'ordre équivalent.