 To specify the syntax of a many-sorted language and associated structures we need first to say what our (countable) set of sorts is. We take \(\Sort=\{ s_{1},\dots ,s_{n}\}\) as the sorts of an n-sorted  language.[1]