数环的定义