Prime element

A nonzero nonunit $p$ in an integral domain is prime when $p\mid ab$ implies $p\mid a$ or $p\mid b$.