In mathematics, a proper ideal of a commutative ring is said to be irreducible if it cannot be written as the intersection of two strictly larger ideals.[1]