Ringed space 是一個 pair (X,OX)(X, \mathcal{O}_X)(X,OX) 一個 topological space XXX 一個 sheaf of (commutative) rings OX\mathcal{O}_XOX