2.2.1 (). .
2.2.2 (). .
2.2.3 (). , .
2.2.4 (). , .
2.2.1. , , .
. , = , .
⊆ .
. .
2.2.5. :
1. ;
2. ;
3. ;
4. .
. 1, .. . .
.
1.2.4 . . , 1 3 4, 3 4.
2.2.1 . 1 2.
4, ..
, i = 0,...,t − 1. 1.2.4 ,
≤ , = ≤ ≤ ,...,
= ≤ ≤ =
. 4 1.
2, .. . > . , > . , = . , 2 1. .
2.2.6. , p . :
1. > , - ;
2. > , - ;
3. < , > , -.
. - - . , | : () |= 1 q, 1.2.7
| : () |= 1 + ; ∈ ∪ {0}.
,
| : () |= = 1 + ; , ∈ ∪ {0}.
1. > , | : () | =1 .
2. > , | : () | =1 .
3. > > . , 3 . - , = ∩ .
| |=| || | / | |= / | |≤ ,
|
|
. , . . 2.2.1 -, - . = , , ∈ , ∈ .
. .
2.2.1. ∈ ∪ {0}.
. 2.2.5 . 2.1.2, , 2.1.2. 2.2.1 , . .