See [Alm+20] subsection 4.4 for an algebraic introduction to this structure and its abstract properties.† Given a finite non-empty set Σ, a Σ-word is a linear order α together with a function α → Σ, this can be viewed as a first order structure by viewing the preimage of each σ ∈ Σ as a unary relation on α.