Se dice que un elemento formula_50 de un dominio íntegro formula_18 es un átomo o elemento irreducible (a veces se dice simplemente que es un irreducible) de formula_18 si formula_70, formula_71, y si formula_72 entonces o bien es formula_73 o bien formula_74 (o los dos).