- Set Operations (Rosen 2.2)
- union, intersection, disjoint, difference, complement
- set identities
- membership tables
- reasoning about sets
- Functions (Rosen 2.3)
- functions, domain, codomain, image, injective, surjective, bijective
- inverse and composition
- floor and ceiling