Conjunto Indiscernible

Subconjunto o secuencia de una estructura cuyos tuplas finitas tienen el mismo tipo sobre un conjunto de parámetros fijo siempre que las tuplas tengan el mismo tipo de orden dentro del subconjunto; equivalentemente, ninguna fórmula con parámetros de la base distingue tuplas que son equivalentes por orden.