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

→
4
∈
4
4
4
N
⊥
→
⟨ ⟩ 4
⟨ ⟩ ∈
⟨ ⟩ ∈ ⟨
′ ′
⟩ ∈
′
<
′
4
⟨ ⟩ ⟨ ⟩
↦→
→
C
⟨ ⟩ ∈
4
′
4
′
4
↦→ ↦→ B

→
C
′
4
′
4
′
′
′
′
4
4

→
⟨ ⟩
B
⟨ ⟩
{⟨ ⟩ | ⟨ ⟩ ∈ }
→
C
⟨ ⟩
⟨ ⟩

⟨ ⟩
⟨ ⟩ ⟨
′ ′
⟩
′
<
′
4
B
→
4
→
′
→
6
′
C

⟨ ⟩
⟨ ⟩ ∈
′ ′
6
′
B
6
4
6
6
6
→ 6
→ N
⊥
6
| 6 6
C
< <

⟨ ⟩
⟨ ⟩
→ ∈
→ N
⊥
→ N
⊥
⊥
→
−
<
−
→

B
6
6
′
|
4 4 ⊂ ×
⟨ ⟩ ∈ ⟨ ⟩∈ ⇒
⟨ ⟩ ∈
→
⟨ ⟩

−
−
→

6
N
6
| 6
6 −
6 −

C
∙
∙
∙
⟨ ⟩
⟨ ⟩ ∈
⟨ ⟩ ∈ ⟨ ⟩ ∈