Definition:Prime Ideal of Commutative and Unitary Ring/Definition 3