Ideal irreducible : en un anillo conmutativo unitario, un ideal "I" es irreducible si no se puede escribir como intersección de dos ideales "J" y "K" diferentes de "I".