contramodule

Noun

 * 1)  A contraderived category of module