| 22.6.1 | |||
|
ⓘ
| |||
| 22.6.2 | |||
|
ⓘ
| |||
| 22.6.3 | |||
|
ⓘ
| |||
| 22.6.4 | |||
|
ⓘ
| |||
| 22.6.5 | |||
|
ⓘ
| |||
| 22.6.6 | |||
|
ⓘ
| |||
| 22.6.7 | |||
|
ⓘ
| |||
See also Carlson (2004).
| 22.6.17 | ||||
|
ⓘ
| ||||
| 22.6.18 | ||||
|
ⓘ
| ||||
| 22.6.19 | ||||
|
ⓘ
| ||||
| 22.6.20 | ||||
|
ⓘ
| ||||
| 22.6.21 | ||||
|
ⓘ
| ||||
If is any permutation of , then
| 22.6.22 | |||
|
ⓘ
| |||
See §22.17.