Definition 2.8.5.  Let R be a ring. We define
0R
by:
0[R,⊕,0,⊖,⊙,1] := 0  (R is a set, ⊕ : R × R → R is an operation on R, 0 ∈ R, ⊖ : R → R is a function, ⊙ : R × R → R is an operation on R, 1 ∈ R such that (R, ⊕, 0, ⊖, ⊙, 1) forms a ring)