次の概念を定義する。 箙 反射的箙 s, t, i版 反射的箙 ‖, ◁, E版 半反射的箙 ‖, ◁, E版で、Eを空でもよいとする。 高次の概反射的箙Qは、Q0が半反射的箙、それ以外のQi反射的箙 (Q, ‖, ◁, E)が反射的箙だとは、 ‖はQ上の同値関係 f‖f', g‖g', f◁g ならば、f…

動機は、 任意の整数区間で次元グレーディングされた集合を考えたい。 グレーディングの制限として、上側切り落とし、下側切り落とし、シフト（ダウン／アップ）を定義したい。 同様に、上側延長と下側延長を定義したい。