Definition 5
Tag 04A9, permanent. Cite it as [Bourbaki, Tag 04A9].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be a ring and an -module. The set of prime ideals of such that is called the support of and is denoted by .
As every maximal ideal of is prime, it follows immediately from § 3, no. 3, Corollary 2 to Theorem 1, that for -module to be equal to , it is necessary and sufficient that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.