Definition:Proper Subsequence