On superalgebras over operads

We show that the class of varieties of multioperator superalgebras, defined by multilinear identities and considered up to rational equivalence, coincides with the class of varieties of superalgebras over an operad. We define the concepts of Grassmann and Clifford envelopes in the most general case and study their properties. We define the concept of module over a superalgebra over an operad and the concept of universal enveloping superalgebra for an algebra over an operad and study their properties.