集合に全順序関係を入れて考えるとき、に関する-重複組合せは、以下のような非減少(つまり広義の増大)-順序組