Морозов А.С. Введение в вычислимость
Подождите немного. Документ загружается.
¤
0, 1, 2, . . .
∈ a ∈ B
a B
∈
√
2
A = B
A B
B
A
{0} {a, b, c} {0, 1, 2, . . .}
A
A = {x | x }.
Φ
x Φ
{x | x Φ}.
x A
Φ
{x ∈ A | x Φ}.
{a, a} = {a},
{x | x } = {0, 1, 2}.
∅
{∅} 6= ∅
∅
A B
A B A
B A ⊆ B
A ⊆ B A 6= B
A ⊂ B ∅
∅ ⊆ A {0, 1} ⊆ {0, 1} {0, 1} ⊆ {0, 1, 2, 3}
A B
A ⊆ B B ⊆ A
A
B C A
B C
B C B ∪ C
A = B ∪C
A
A
B ∈ A A
S
A
[
{A, B} = A ∪ B,
[
{{0}, {0, 1}, {1, 2}} = {0, 1, 2}.
A
B C A
B C
B C B ∩C A = B ∩C
A
A
B ∈ A
A
T
A
\
{A, B} = A ∩ B,