\begin{definition}[Definition:Prime Spectrum of Ring]
Let $A$ be a commutative ring with unity.
The '''prime spectrum''' or '''spectrum''' of $A$ is the set of prime ideals $\mathfrak p$ of $A$:
:$\Spec A = \set {\mathfrak p \lhd A: \mathfrak p \text{ is prime} }$
\end{definition}