R：環、I⊂R：イデアルの定義：
(I1) a, b ∈I ⇒ a+b ∈I
(I2) r∈R, a∈I ⇒ ra ∈I

これは
　0+0=0
　r*0=0
という0の性質を抽象化しているということですか？