任意数域都包含复数域（有理数域可约的条件）

复数域，由复数和数域两个词合成。

复数是指形如：a+bi。

一类的数，其中a，b都是实数，i=根号(-1)，称虚数单位。

数域是数的一种集合。满足以下条件：

①如果a，b是集合中的任意两个数，那么a+b和a-b也在这个集合中；

②如果a，b是集合中的任意两个数，那么a*b和a/b(b≠0)也在这个集合中。