Let be a non-unit of an integral domain . We say that is irreducible in , if any factorization in requires that or is a unit.