真子域

一個 子域，它嚴格小於包含它的 域。

有理數域 是實數域 的真子域，而實數域反過來又是 的真子域； 實際上是 的最大真子域，然而在 和 之間存在無限個真子域序列。這是一個例子，透過使用 2 的 次方根，針對不同的素數 構建而成，

請注意，序列中所有的域都包含在代數數集合中，代數數集合是 的另一個真子域。

因此， 有無限多個真子域。相反， 沒有真子域，因為 的任何子域都必須包含 0，1 的所有整數倍數，以及它們的所有商（因為每個域都是一個 除法代數），從而生成所有有理數。特別地， 是 的最小真子域。

對於所有素數 和整數 ，素域 是 的真子域。