A prime ideal P is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing I. (Note that we do not exclude I even if it is a prime ideal.) A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal.