• 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