Equivalentemente, una no-unidad "x" es irreducible si "x" ≠ 0 y todo divisor "d" de "x" es un asociado de 1 o de "x".