子環

設 ( R, +, · ) 爲環 ， 若S是R的一個非空子集 ， 且 ( S, +, · ) 也是環 ， 則稱 ( S, +, · ) 爲 ( R, +, · ) 的子環 （ subring ） 。