ringed space(川又 p.7より) 位相空間とその上の可換環の層の組を,環付き空間(ringed space)という. 極大イデアル(=剰余環が体になる)をただ1つだけもつ可換環を局所環(local ring)という. 環付き空間において,各点でのstalkが局所環であるとき, 「局所環」付き空間(local ringed space)という.