| 24.5.1 | |||
| , | |||
|
ⓘ
| |||
| 24.5.2 | |||
| . | |||
|
ⓘ
| |||
| 24.5.3 | |||
| , | |||
|
ⓘ
| |||
| 24.5.4 | |||
| , | |||
|
ⓘ
| |||
| 24.5.5 | |||
|
ⓘ
| |||
| 24.5.6 | |||
| , | |||
|
ⓘ
| |||
| 24.5.7 | |||
| , | |||
|
ⓘ
| |||
| 24.5.8 | |||
| . | |||
|
ⓘ
| |||
In each of (24.5.9) and (24.5.10) the first identity implies the second one and vice-versa.
| 24.5.9 | ||||
|
ⓘ
| ||||
| 24.5.10 | ||||
|
ⓘ
| ||||