Vはベクトル空間として、V#を、双対ペアの相方空間とする。(V#, V, <-|->) がペア。IはVの（事前に決めた）インデックス集合。I#は、相方インデックス集合で、#:I→I# をインデックス双射、#~は線形化 <I>→<I#>とする。この状況で、 FrameI(V) := Iso(<I>, V) CoframI(V</i></i#></i>…