代数幾何学はSpecRに層O{\displaystyle\scriptstyle{\mathcal{O}}}（実体は、局所的に、つまりさまざまな開集合上で、定義された函数の集合）を付随させることに始まる。
代数几何将SpecR赋予一个层O{\displaystyle{\mathcal{O}}}（将不同的开子集上局部定义的所有函数收集起来的实体）。