Подождите немного. Документ загружается.
∧ ∨ →
→ → →
→ → →
→ → →
→ → →
C
→ →
→ →
→
∈ ×
→
B
6 →
6 → →
→
→ → ∨
→ → → ∨
→ →
→ →
∨
C
∨ → →
→ →
∨
→
→
→
→
∨
→ →
→
∈ ×
′ ′ ′′ ′′
′ ′ ′′ ′′
′ ′′
B
→ →
∨ ∧
→
|
C
→
→
→ →
→
∈ × ×
̸
→ ̸
̸
′
′
B
→ → → ∨
| |
C → → → ∨
|
→ →
→ → → ∨
|
→ →
∈ ×
→
′ ′ ′′ ′′
′ ′′
′
̸
′ ′ ′′
̸
′′ ′′ ′ ′′
′ ′ ′′ ′′
′ ′
′
̸
′
̸
→ → → ∨
{ | | }
→ → → ∨
→ →
N
∈
∈
→
→ →
↦→
→ →
→ →
∈
∈
∈
∈
→ →
{ ∈ N | }
∈
∈ B
→ → → ∨ → → ∨ →
→ → → ∨ >
{ }
→ → →
∈
∈
{ } { } → → →
∨
→ → →
C
→ → →
6
⟨ ⟩ 6
∈
→ → →
→ →
N × N →
N ⟨ ⟩
⟨ ⟩
→ →
→ →
6
∈
→
∈
→
∈ ∈
B
{ }
∩ ∅ ⊂{ }
6
∈
∈
→ → ∧ ∧ → →
→
C
6 ∈
→ →
6
→ → ∧ ··· ∧ → →
→
6
B
→ → ∧ ··· ∧ → →
→
∧ ∨ →
→
∧ ∨
C
∧ ∨
→