Define a  prime ideal of a commutative ring.