DefinitionsEdit

SubsetEdit

${\displaystyle A\subseteq B}$

• ${\displaystyle \{x\mid x\in A{\hbox{ then }}x\in B\}}$

Subset means for all x, if x is in A then x is also in B.

Proper SubsetEdit

${\displaystyle A\subset B}$

• ${\displaystyle \{x\mid x\in A{\hbox{ then }}x\in B{\hbox{ and }}A\neq B\}}$

UnionEdit

${\displaystyle \bigcup A}$

• ${\displaystyle \{x\mid x\in \bigcup A{\hbox{ iff }}y\in A{\hbox{ s.t. }}x\in y\}}$

${\displaystyle A\cup B}$

• ${\displaystyle \{x\mid x\in A{\hbox{ or }}x\in B\}}$

IntersectionEdit

${\displaystyle \bigcap A}$

• ${\displaystyle \{x\mid {\hbox{for all }}a\in A,x\in a\}}$

${\displaystyle A\cap B}$

• ${\displaystyle \{x\mid x\in A{\hbox{ and }}x\in B\}}$

Empty SetEdit

${\displaystyle \emptyset }$

• ${\displaystyle {\hbox{There is a set }}A{\hbox{ s.t. }}\{x\mid x\notin A\}}$

MinusEdit

${\displaystyle A-B}$

• ${\displaystyle \{x\mid x\in A{\hbox{ and }}x\notin B\}}$

PowersetEdit

${\displaystyle {\mathcal {P}}(A)}$

• ${\displaystyle \{x\mid x\subseteq A\}}$

Ordered PairEdit

${\displaystyle \langle a,b\rangle }$

• ${\displaystyle \{\{a\},\{a,b\}\}}$

Cartesian ProductEdit

${\displaystyle A\times B}$

• ${\displaystyle A\times B=\{x\mid x=\langle a,b\rangle {\hbox{ for some }}a\in A{\hbox{ and some }}b\in B\}}$

or

• ${\displaystyle \{\langle a,b\rangle \mid a\in A{\hbox{ and }}b\in B\}}$

RelationEdit

A set of ordered pairs

DomainEdit

${\displaystyle \{x\mid {\hbox{ for some }}y,\langle x,y\rangle \in R\}}$

RangeEdit

${\displaystyle \{y\mid {\hbox{ for some }}x,\langle x,y\rangle \in R\}}$

FieldEdit

${\displaystyle {\hbox{dom(}}R{\hbox{)}}\cup {\hbox{ran(}}R{\hbox{)}}}$

Equivalence RelationsEdit

• Reflexive: A binary relation R on A is reflexive iff for all a in A, <a, a> in R
• Symmetric: A rel R is symmetric iff for all a, b if <a, b> in R then <b, a> R
• Transitive: A relation R is transitive iff for all a, b, and c if <a, b> in R and <b, c> in R then <a, c> in R

Partial OrderingEdit

• Transitive and,
• Irreflexive: for all a, <a, a> not in R

TrichotomyEdit

Exactly one of the following holds

• x < y
• x = y
• y < x

Proof StrategiesEdit

If, thenEdit

Prove if x then y

Suppose x
...
...
so, y

Prove x iff y

suppose x
...
...
so, y
suppose y
...
...
so, x

Prove x = y

show x subset y
and
show y subset x

Non-EqualityEdit

Prove x != y

x = {has p}
y = {has p}
a in x, but a not in y