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