Returns #t if each set other than the last is a proper subset of the following set, and #f otherwise.