Se dice que formula_4, siendo formula_5 y formula_6 es un "elemento irreducible" en formula_1 si cuando ocurre que formula_8 (con formula_9) entonces también ha de ocurrir que formula_10 o que formula_11.