prime ideal in Polish

(algebra, ring theory) Any (two-sided) ideal I such that for arbitrary ideals P and Q, PQ\subseteq I\implies P\subseteq I or Q\subseteq I.