零元でも単元でもない元pについて、pが素元であるとは、pが任意の積abを割るならば必ずpがaまたはbの約元となるときにいう。
如果p不是零元或可逆元，且对任意a，b，如果p整除ab可推出p整除a或p整除b，则称p为素元。