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