Definition:Substring/Proper

Definition
Let $\LL$ be a formal language with alphabet $\AA$.

A proper substring of a string $S$ in $\AA$ is a substring of $S$ which is specifically not equal to $S$.