Holm (H. Holm, Modules with cosupport and injective functors, Algebr.
Represent. Theor., 13 (2010), 543-560) considers categories of right modules
dual to those with support in a set of finitely presented modules. We extend
some of his results by placing them in the context of elementary duality on
definable subcategorie