 Order property

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