A vector space (over some field) with an additional binary operation, a vector-valued product between vectors, which is bilinear over vector addition and scalar multiplication. (N.B.: such bilinearity implies distributivity of the vector multiplication with respect to the vector addition, which means that such a vector space is also a ring.)
a mathematical object comprising a carrier set (aka underlying set or domain), an optional scalar set, a set of operations (typically binary operations, but otherwise each of finite arity) and a set of identities (axioms) which the operations must satisfy.
Any one of the numerous types of mathematical object studied in algebra and especially in universal algebra;