由于0与1在数域中,
由加减法的封闭性,知道任何A∈Z均在数域中,
由除法的封闭性,知道B|A也在数域中,B,A∈Z.知任一数域都包含有理数域