Definition. Ringed space [00AI]