EECS20N: Signals and Systems

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, xA
set membership
A = B , A B, AB
set inclusion relations
A ∩ B, AB, X \ A, AC , X ´ Y
set operations
P(x), Q(y), R(x, y), …
predicates
NewSet = { x Set | P(x) }
set definition by predicate