降冪排列定義