Knuth equivalence

A relationship that considers two elements equivalent if one can be obtained from the other by a sequence of transformations of the form yzx -> yxz whenever x zxy whenever x ≤ y < z.