つまり、inv("u")は1 ≤ "i" &lt; "j" ≤ "n" かつ "u"("i")&gt; "u"("j")となるような順序対("i", "j")全体の成す集合である。