Review of Set Theory and Integers

Tables 4.1–4.6 on the following pages review the main definitions, proof templates, and theorems covered in the preceding chapters on set theory and integers. All unquantified variables in the tables represent arbitrary objects, sets, real numbers, or integers (as required by context).