设S是一个数环.若a∈S ,则na∈S(n∈Z).Z是整数集.
所以,不是整数的有理集不是数环.
任何数域都包含有理数域Q.
所以,不是整数的有理集不是数域