|
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 |