子域，数学领域中的一种基本概念。如果设F是一个域，K是F的一个非空子集，且在F的运算下K也是一个域，则称K是F的一个子域，此时F被称为K的扩域。全体有理数的集合Q、全体实数的集合R以及全体复数的集合C关于普通的加法和乘法均形成域，并且Q是R的子域，R是C的子域。在Windows网络中，子域是相对父域来说的，指域名中的每一个段，各子域之间用小数点分隔开。
