 Minimal prime over an ideal

A prime ideal $P$ is minimal over an ideal $I$ if $I\subseteq P$ and no smaller prime ideal contains $I$. The definition also applies to two-sided prime ideals of a noncommutative ring.