Minimal prime over an ideal ($P\in {\mathrm{Min}}_R(I)$)

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.