A module (over some ring) with an additional binary operation, a module-element-valued product between module elements, which is bilinear over module addition and scalar multiplication. (N.B.: such bilinearity implies distributivity of the module multiplication with respect to the module addition, which means that such a module is also a ring.)
The branch of mathematics that deals with groups, monoids, fields, and like algebraic structures.