  We present a general construction of the derived category of an algebra over
an operad and establish its invariance properties. A central role is played by
the enveloping operad of an algebra over an operad.
