En término de estructuras se trata de un dominio de integridad (ver definiciones en el capítulo ../Estructuras/).