I am reading currently Michael Atiyah. I encountered the following proposition. It seems to me that the following condition characterizes prime ideals geometrically that is it tells us how ideal fits between bunch of prime ideals. Does the condition characterizes prime ideals ? That is if ideals satisfy the condition below then it is necessarily prime ?
1) Let $p_1,...,p_n$ be prime ideals and let $a$ be an ideal contained in $\cup p_i$. Then $a \subset p_i$ for some i.
2) Let $a_1,...,a_n$ be ideals and let $p$ be a prime ideal containing $\cap a_i$, then $a_i \subset p$ for some i.
Follow up question: Is there a different description of prime ideals by maybe how it sits among other ideals if the above condition doesn't characterize it ?