Подождите немного. Документ загружается.

| |
B

| |
6 6 6

| 6
|

6 | 6
| 6
6
⟨ ⟩
> >

|
−
⟨ ⟩
⟨ ⟩
′
⟨ |
′ ′
⟩
′
′ ′
|
⟨ |
′ ′
⟩
′
⟨ |
′ ′
⟩
′
|

C
∙
∙
′
′
⟨ ⟩
⟨ ⟩
−
−
−
|
− −
−
⟨ ⟩
⟨ ⟩
′
∙
′
∙
′

⟨ ⟩
∙
∙
∙ ⟨ ⟩
′
⟨ ⟩
′
−
−
·
−
⟨ ⟩
′
′
′
⟨ ⟩ · | |
−
−
· | |
− −
*
| |
⟨ ⟩
| | ·

−
·
− −
−
| | ·
− − −
**
{ }
*
** ⟨ ⟩ ∈
− −
− −
− −
| |
−
−
⟨ ⟩
⟨ ⟩ ∈
⟨ ⟩
| 6 |
−
′ ′
|
′

′
′
⟨ ⟩
B
B × B ↦→ B

⟨ ⟩ ∈
B × B → B
B × B → B
B
−
→ B
B × B
−
→ B
⟨ ⟩
′
′
−
−
− −
− −
∈ B
∈ B
⟨ ⟩
∈ B
−
∈ B
−
∈ B
−
⟨ ⟩ ∈
′
′
∈ B ⟨ ⟩
′