複素数は実数を含んでいて、複素数全体には和と積が定義されている
そして、それは実数の和と積の拡張になっている

ということですか？