设F是域P的非空子集，如果P的加法和乘法可看作F的加法和乘法，且对于这两个代数运算，F也构成一个域，则称F为P的一个子域或子体。例如，有理数域是实数域的一个子域， 而实数域又是复数域的一个子域。