Order-indiscernible sequence
= Order-indiscernible sequence
A sequence $(a_i)_{i\in I}$ indexed by a <total order> is order-indiscernible when any two increasing finite subsequences of the same length satisfy the same first-order formulas.
= Order-indiscernible sequence
A sequence $(a_i)_{i\in I}$ indexed by a <total order> is order-indiscernible when any two increasing finite subsequences of the same length satisfy the same first-order formulas.