Mantendo uma ordem eficiente, na qual é possível inserir elementos "entre" outros dois elementos na ordem?

Imagine que eu tenho um pedido em vários elementos como este: Onde uma flecha X←YX←YX \leftarrow Y significa X<YX<YX < Y. Também é transitivo:(X<Y)∧(Y<Z)⟹(X<Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right). Para responder com...