Ontify
Nonzero, non-unit element p in a commutative ring R such that, whenever p divides ab for some a and b in R, then p divides a or p divides b (or both).