Locally ringed space 是 ringed space (X,OX)(X, \mathcal{O}_X)(X,OX) 加上條件:for all p∈Xp \in Xp∈X OX,p\mathcal{O}_{X, p}OX,p 是一個 local ring(i.e. 有 maximal ideal)