¿Mantener un orden eficiente en el que puede insertar elementos "entre" otros dos elementos en el orden?

Imagine que tengo un pedido en un grupo de elementos como este: Donde una flecha X← YX←YX \leftarrow Y medio X< YX<YX < Y. También es 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...