Definition:Prime Ideal of Commutative and Unitary Ring