Definition 3.3 Let S be a semiring and X be a right-Smodule. An additive map dR : S → X is said to be a right-derivation if dR(xy) = dR(x)y + dR(y)x ∀ x, y ∈ S.
นิยาม 3.3 ให้ S เป็น semiring และ X เป็นขวา Smodule สารเติมแต่ง แผนที่ DR: S → X มีการกล่าวว่าเป็น-มาทางขวาถ้า DR (XY) = DR (x) Y + DR (Y) x ∀ x, y ∈เอส