What is the meaning of Prime_ideal?

Any (two-sided) ideal such that for arbitrary ideals and , or .

In a commutative ring, a (two-sided) ideal such that for arbitrary ring elements and , or .

Source: wiktionary.org