定義
X を束(過去スレ021の156)とする。
X の素イデアル(>>100)全体の集合を Spec(X) と書く。
Spec はスペクトル(spectrum)を意味する。