Definition 2.8.29.1.1.  Let R be a ring, M be a set, :M × M → M be an operation on M, 0 ∈ M, :M → M be a function, : (R) × M → M be an operation. We define:
Equivalence.  No proof.
References.