環Rの部分集合SがRの部分環⇔
1)a,b∈S⇒a-b∈S（∀a,b∈S）
2)同様の前提⇒a・b∈S（∀a,b∈S）
3)1R∈S