をベクトル空間の有限集合だとして、Rは入ってないとする。 に所属するベクトル空間を基本ベクトル空間と呼ぶ。ドミニオン Dominion() は、を含んでいて次の性質を持つ最小の圏C： R∈|C| V∈ ならば、V*∈|C| テンソル積で閉じている。 対合 ￢:C→C は、V V* …