Definition:Substring (Formal Systems)