集合 の各要素に対して，スコア関数 が定義されているとき，その集合中のスコアの上位 n 要素から構成される部分集合 を数式で書きたくなった（ただし，スコア関数は単射とし， は一意に定まるとする）．n-best がタイトルに入った論文などを色々見てみたが…