Syntax (summary)
|
A, B, Naturals, …
|
names of sets |
|
x, y, name, …
|
names of variables over sets |
|
A = {list of elements}
|
set definition by explicit list |
|
x∈ A, x
∉ A
|
set membership |
|
A = B , A ⊂
B, A ⊃ B
|
set inclusion relations |
|
A ∩ B, A
∪ B, X \ A, AC
, X ´ Y
|
set operations |
|
P(x), Q(y), R(x, y),
…
|
predicates |
|
NewSet = { x∈
Set | P(x) }
|
set definition by predicate |