Eraztunen teorian, gorputza izanik, polinomio ez-nulu bat irreduziblea dela diogu baldin eta honako polinomioaren edozein faktorizaziotan berdintzako eta polinomioetako bat unitatea bada. Hau da, ez badira existitzen zeinek polinomioaren maila baino maila hertsiki txikiagoa duten eta betetzen den. Beraz, edo da derrigor; beste era batera esanda, bietako bat polinomio konstante bat izango da. Kontrako kasuan, polinomio erreduziblea dela esaten da.
Erreduzible izatea edo ez gorputzaren arabera aldatzen da eta gorputza, zenbaki errealen multzoa, zenbaki konplexuen multzoa, zenbaki arrazionalen multzoa edo zenbaki osoen multzoa (eraztuna) izan daiteke.