Order property
= Order property
{wiki=Order_property}
A formula $\phi(\bar x,\bar y)$ has the order property for $T$ when arbitrarily long tuples $(a_i),(b_j)$ exist with $\phi(a_i,b_j)$ exactly when $i<j$. Compactness realizes this pattern along every linear order.