Let α = a1a2…an denote a string in Σ* and let # ∉ Σ. The substring identifier for position i in α# is the shortest substring in α# starting at position i that identifies position i uniquely. The existence of such a substring is guaranteed since
will always identify position i uniquely. See also position tree.