String prefix
= String prefix
An initial segment of a <string>, including the empty <string> or the whole <string>. Two <strings> share a prefix exactly when their initial characters agree up to its length. The <longest common prefix> is the longest such shared initial segment.