Proper Substring

Definition

A string $x$ is a proper substring of $y$ if:

• Exists strings non-Empty String $x^{\prime },x^{\prime \prime }$
• $x^{\prime }x{x}^{\prime \prime }=y$