Consider, as a motivating example, the multiset $\left(\mathbb{P}_n,2\setminus\mathbf{0}\right)$ consisting of the underlying set of polynomials of order $n$ and lower, all with multiplicity $2$—expect for the polynomial identically equal to $0$, $\mathbf{0}$. (Heuristically, this is intended to be what occurs when you "clone" everything in $\mathbb{P}_n$ except for the zero vector; I apologize for incorrect notation.)

If I look at the axioms that a set—combined with typical addition and scalar multiplication operations—would need to satisfy in order to qualify as a vector space, I would find that this multiset satisfies most if not all of them. For example, addition and/or scalar multiplication of the elements in this multiset will always produce another element in the multiset.

With this in mind, and given that many other such examples can be generated, **is there any meaningful extension of the notion of a vector space to multisets?**

A comment: to clarify the properties I'd like to see retained in such an extension, I'd attempt to preserve at all costs the notion of closure (that addition and scalar multiplication acting on two elements in the multiset always creates another element in the multiset) while attempting as much as possible to keep "non-unique" versions of the other axioms; for example, that there still exists at least one additive identity element $e$ in the multiset, but that identity element is perhaps not unique.