索引は0個以上の重複のない索引項目の並びであり、 索引項目は項目名と位置情報リストから成り、 位置情報リストは1個以上の重複のない位置情報の並びである。 項目名と位置情報はそれぞれがある順序集合の元であり、 索引における索引項目の並びは項目名に…