prime ideal

an ideal in a ring with a multiplicative identity, having the property that when the product of two elements of the ring results in an element of the ideal, at least one of the elements is an element of the ideal.