局部环式空间

local-ringed space