Generelt så benytter vi oss av følgende definisjon: Et ideal sies å være primisk, eller å være et primideal, dersom det har den egenskapen at hvis ∈ , er enten ∈ eller ∈ I.