證明子域的方法

證明子域用假設法。設F是域P的非空子集，如果P的加法和乘法可看作F的加法和乖法，且對於這兩個代數運算，F也構成壹個域，則稱F為P的壹個子域或子體。例如，有理數域是實數域的壹個子域，而實數域又是復數域的壹個子域。