Структура комплексных чисел

Из теоремы о свойствах арифметики вещественных чисел следует:
 * $$a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z$$ - множества,
 * $$l = \mathrm{\Sigma}\Bigl( \varnothing,\{\, \mathfrak{0}, \mathfrak{s}, +, \ \cdot \ \,\}, \bigl\{\, \langle \mathfrak{0}, 0_\mathrm{N} \rangle, \langle \mathfrak{s}, 1_\mathrm{N} \rangle, \langle +, 2_\mathrm{N} \rangle, \langle \ \cdot \, 2_\mathrm{N} \rangle \,\bigr\} \Bigr)$$ - сигнатура,
 * $$i = \mathrm{AlgStruct}(j,k,l)$$ - алгебраическая структура,
 * $$i\in \mathrm{Arithmetic}(\mathfrak{N})$$ - арифметика натуральных чисел,
 * $$j = \mathbb{N}$$ - множество натуральных чисел,
 * $$p = \mathrm{\Sigma}\Bigl( \{\, \sim \,\}, \varnothing, \bigl\{\, \langle \sim, 2_\mathrm{N} \rangle \,\bigr\} \Bigr)$$ - сигнатура,
 * $$n = \mathrm{CartPower}^2(j)$$ - декартов квадрат множества натуральных чисел,
 * $$m = \mathrm{AlgStruct}(n,o,p)$$ - алгебраическая структура,
 * $$m\in \mathfrak{Z}$$ - структура целых чисел,
 * $$u = \mathrm{\Sigma}\Bigl( \{\, \sim, \leq \,\}, \{\, +, \ \cdot \, \left|\circ\right| \,\}, \bigl\{\, \langle \sim,2_\mathrm{N} \rangle, \langle \leq,2_\mathrm{N} \rangle, \langle \left|\circ\right|,1_\mathrm{N} \rangle, \langle +,2_\mathrm{N} \rangle, \langle \ \cdot \ ,2_\mathrm{N} \rangle \,\} \Bigr)$$ - сигнатура,
 * $$q = j\setminus\{\, \mathfrak{s}_e \,\}$$ - разность множества натуральных чисел и единичного множества нуля,
 * $$s = \mathrm{CartProd}(\langle n,q \rangle)$$ - прямое произведение декартова квадрата множества натуральных чисел и {разности множества натуральных чисел и единичного множества нуля},
 * $$r = \mathrm{AlgStruct}(s,t,u)$$ - алгебраическая структура,
 * $$w = \mathrm{\Sigma}\Bigl( \{\, \sim, \leq \,\}, \{\, +, \ \cdot \ \,\}, \bigl\{\, \langle \sim,2_\mathrm{N} \rangle, \langle \leq,2_\mathrm{N} \rangle, \langle +,2_\mathrm{N} \rangle, \langle \ \cdot \ ,2_\mathrm{N} \rangle \,\} \Bigr)$$ - сигнатура,
 * $$v = r\bigr|_w$$ - сужение алгебраической структуры,
 * $$v\in \mathrm{LinOrdArithmetic}(\mathfrak{Q})$$ - линейно упорядоченная арифметика рациональных чисел,
 * $$r\in \mathrm{LinOrdStruct}(s;\leq)$$ - линейно упорядоченная структура,
 * $$r\in \mathrm{Group}(s;+)$$ - группа,
 * $$y = \left|\circ\right|_{+_r}^{\leq_r}$$ - операция взятия модуля,
 * $$z = \mathrm{DistanceOp}_y^r(s)$$ - операция расстояния,
 * $$x = \langle s,r,z \rangle$$ - упорядоченная тройка множеств,
 * $$x = \mathrm{MetricSpace}(s,r;z)$$ - метрическое пространство,
 * $$f = \mathrm{CauchySequence}_j^x(s)$$ - совокупность фундаментальных последовательностей,
 * $$h = \mathrm{\Sigma}\Bigl( \{\, \sim \,\}, \{\, +, \ \cdot \ \,\}, \bigl\{\, \langle \sim,2_\mathrm{N} \rangle, \langle +,2_\mathrm{N} \rangle, \langle \ \cdot \ ,2_\mathrm{N} \rangle \,\} \Bigr)$$ - сигнатура,
 * $$e = \mathrm{AlgStruct}(f,g,h)$$ - алгебраическая структура,
 * $$e\in \mathrm{Arithmetic}(\mathfrak{R})$$ - арифметика вещественных чисел,
 * $$f = \mathbb{R}$$ - множество вещественных чисел,
 * $$d = \mathrm{\Sigma}\Bigl( \varnothing, \{\, \ast \,\}, \bigl\{\, \langle \ast, 1_\mathrm{N} \rangle \,\bigr\} \Bigr)$$ - сигнатура,
 * $$b = \mathrm{CartPower}^2(f)$$ - декартов квадрат множества вещественных чисел,
 * $$a = \mathrm{AlgStruct}(b,c,d)$$ - алгебраическая структура.

Алгебраическая структура $$a$$ — структура комплексных чисел (англ. structure of complex numbers, нем. Struktur der komplexen Zahlen), если для двух произвольных вещественных чисел значение интерпретации символа операции $$\ast$$ на декартовом квадрате $$b$$ множества вещественных чисел $$f$$ от упорядоченной пары вещественных чисел $$\alpha,\beta$$ равна упорядоченной паре вещественного числа $$\alpha$$ и некоторой инверсии вещественного числа $$\beta$$ относительно сложения на множестве вещественных чисел $$f$$ и некоторого его нейтрального элемента: $$ \Upsilon(a,\ldots,z) \ \stackrel{\mathrm{def}}{=} \ \forall \alpha \ \forall \beta \quad (\alpha\in f \ \land \ \beta\in f) \Rightarrow \Bigl( \forall \gamma \quad \gamma = \langle \alpha,\beta \rangle \Rightarrow \bigl( \exists \delta \quad \delta\in \mathrm{Inversion}_{+_e}(\beta) \ \land \ \ast_a(\gamma) = \langle \alpha,\delta \rangle \bigr) \Bigr) $$

Обозначим $$\Upsilon(a,\ldots,z) \ \stackrel{\mathrm{def}}{=} \ a\in \mathfrak{C}$$.