Misalkan \(D\) suatu daerah integral. Elemen tak nol \(p \in D\) yang bukan unit dikatakan tak tereduksi jika setiap kali \(p = ab\text{,}\) salah satu dari \(a\) atau \(b\) merupakan unit. Lebih lanjut, \(p\) disebut prima jika setiap kali \(p \mid ab\text{,}\) berlaku \(p \mid a\) atau \(p \mid b\text{.}\)