, . : , , , . , .
, , . - ( ) - . . - ( ). - - , »- - - -. - , - - - . - - - . - - , - -.
X, x Y, y , . , .
.
, ( ), ( ): (R(a1))n[V]n(X(y1))
- , - . - .
(O(m1...))r[X(m1...)]n(O'(m'1...)) .
(O(m1...))r[O(x1...)]n(O'(m'1...)) .
- , -, -.
|
|
, - : (X(a1...))r[O(a1...)]i(X'(a'1...))
, , , - :
(O(a1,a2,a3...))r[O(a1,a2,a3...)]i(X(a'1,a'2,a'3...))
-- , , -, - , -, . , .
(O(a1,a2,a3...))r[O(a1,a2,a3...)]i(O'(a'1,a'2,a'3...))
, , . [O1(a1,a2,a3...)] [O2(a1,a2,a3...)], . , , - .
, - , , , , . , .
(O(a1,a2,a3))e[O(a1,a2,a3)]e(O'(a'1,a'2,a'3))
(O((a1,a2,a3)eO(a1,a2,x3)e[O'(a'1,a'2,a'3)]
-- . , (, x3), .
- - -, -- - . , , - (-) .
. , , , , , , , , , , . , .
|
|
, - . .
, : , , , , , -́ .