Indecomposable ideal

Symbol-free definition
An ideal in a commutative unital ring is termed indecomposable or join-irreducible if it is nonzero, and cannot be expressed as a sum of two strictly smaller ideals.

Incomparable properties

 * Irreducible ideal: This is the meet-irreducibility