Definition 2
Tag 053J, permanent. Cite it as [Bourbaki, Tag 053J].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
An A-module M is called pseudo-zero if it is finitely generated and it satisfies the equivalent conditions of Proposition 9.
This definition and Proposition 9 show that a pseudo-zero A-module is a torsion A-module; the converse is false.
Examples (1) If A is a Dedekind domain, every prime ideal of A is of height ; to say that M is pseudo-zero means then that and hence that (Chapter 11, , no. 4).
(2) Let be field and the polynomial ring over in two indeterminates; if is the maximal ideal of , the -module is pseudo-zero; for its annihilator is not of height since it contains the principal prime ideals and and is distinct from them; therefore (§ 1, no. 6, Corollary 1 to Theorem 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.