n次元の射影空間 (Rn+1＼{0})／≡ を考える。≡は同じ射線上に乗っていれば同値とする同値関係。(x0, x1, ..., xn)・(y0, y1, ..., yn) = (x0y0, x1y1, ..., xnyn) で定義される積（アダマール積）は、射影空間に掛け算の構造を与える。各成分が非零な部分集合…