# Irreducible ideal

An ideal $I$ in a ring which cannot be expressed as the intersection of two strictly larger ideals: that is, $I = J \cap K \Rightarrow I=J \ \text{or}\ I=K$.