>>521
添字は順序集合の元でないとベクトル表示できない
つまり本質は添字付けではなく順序である