Domeine boe in ‘n Euclideaonse deiling (mèt restant) is gedefiniëerd, were Euclideaonse domeine geneump en dees umvatte polynomiale ringe in ein on bepaolde (dee vermeinigvöldiging en optèlle in formules mèt ein variabele definiëre).