J∩ K⊆ I implies that either J⊆ I or K⊆ I. The relationship among the families of irreducible
ideals, strongly irreducible ideals, and prime ideals of a commutative ring R is considered,
and a characterization is given of the Noetherian rings which contain a non-prime strongly
irreducible ideal.