定義
X を束(過去スレ021の156)とする。
I(X) を X のイデアル(過去スレ021の527)全体とする。
X が最小元 0 を持つとき I_0(X) = I(X) とおく。
X が最小元 0 を持たないとき I_0(X) = I(X)∪{φ} とおく。