整域は非自明な可換環で、零元と異なるどの二つの元を掛けても零元にならないという性質を満たすものだが、これは整数の性質のひとつを一般化したもので、可除性の研究に対する固有の領域を与えるものになっている。
这不是非零即一或非一即零的二位元关系，有时候，两种性质可以一起被观察到，但是这时，每一种性质不会完全展现，而是部分展现，由对偶关系式决定到底有多少被展现。