where Sub(s) is the subset of all substrings of s.