7.1 Sets, Relations, Functions
Set theory provides a common language for modern mathematics. Many mathematical objects can be described as sets with additional structure, and many mathematical constructions can be described using membership, subsets, relations, and functions. In this section we introduce these basic notions carefully, since later parts of logic and foundations use them constantly. Sets and Membership A set is a collection of objects, called its elements or members. If an object...