non-descending subset