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

⊥
N
⊥
N
⊥
6
∈
6
6
6
| 6
→
6
→ N
⊥
6
N
⊥
→
6

6
6
C
→
N →
→
N →

∑
−
6
−

B
−
−

B
*
≍
⊂ ×
∈ ∈ ⇒
≍
→ N
⊥
≍ ≍
→
≍
N
⊥
→
×
⟨ ⟩
∈ { ≍}
C
B

≍
≍
→ ×
→
N
⊥
→ ×
⟨ ⟩
⟨ ⟩
∙
∙
∑
−
∙

∙
∑
−
6
N
6
6 | 6
6
6

6 −
C
6 −
−
−
6
−
B
|
|

|
→
⟨ ⟩ 4
× N → N
⊥
⟨ ⟩ ∈ ×N
∈ { ≍} |
⟨ ⟩
⟨ ⟩ ∈ ⟨ ⟩ ∈ ⇒
|
⟨ ⟩ ∈

|
|
|
≍ |
|
|
≍
6
|≍
|
F
4
N
⊥
→ F
⟨ ⟩ ∈ N
⊥
F 4
4
↦→
|