Irreducible element

A nonzero nonunit $p$ in an integral domain is irreducible when every factorization $p=ab$ has at least one unit factor.