Proper Prefix

Same as Prefix, but xy.

Similar to Proper Subsets