definitionring-theory Definition For domain R, with x∈R, x=0 or a unit, x is irreducible if x=ab implies that a or b is a unit. Examples Related Unique Factorization Domain