Naïve set theory
Set theory is the most fundamental part of mathematics. The definition of almost any kind of mathematical object (a group, a ring, a vector space, a topological space, a Hilbert space...) begins: a <thing> consists of a set, together with some extra structure in the form of operations, relations, subsets, sets of subsets, functions to the real numbers, or whatever. Also, as we will see, these operations, relations, etc. are themselves special kinds of sets.
KeywordsNatural Number Equivalence Relation Choice Function Injective Function Strict Order
Unable to display preview. Download preview PDF.