structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST

[main concepts which are distinctive of set theory]

40 ideas
∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton]
The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton]
A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton]
The 'powerset' of a set is all the subsets of a given set [Enderton]
Two sets are 'disjoint' iff their intersection is empty [Enderton]
A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton]
A 'relation' is a set of ordered pairs [Enderton]
A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton]
A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton]
A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton]
A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton]
A 'function' is a relation in which each object is related to just one other object [Enderton]
A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton]
A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton]
A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton]
There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou]
Classes divide into subclasses in many ways, but into members in only one way [Lewis]
A subclass of a subclass is itself a subclass; a member of a member is not in general a member [Lewis]
'Forcing' can produce new models of ZFC from old models [Maddy]
An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G]
A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G]
A 'set' is a collection of objects [Priest,G]
A 'member' of a set is one of the objects in the set [Priest,G]
A 'singleton' is a set with only one member [Priest,G]
The 'empty set' or 'null set' has no members [Priest,G]
A set is a 'subset' of another set if all of its members are in that set [Priest,G]
A 'proper subset' is smaller than the containing set [Priest,G]
The 'union' of two sets is a set containing all the things in either of the sets [Priest,G]
The 'relative complement' is things in the second set not in the first [Priest,G]
The 'intersection' of two sets is a set of the things that are in both sets [Priest,G]
The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G]
The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo]
A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo]
The 'power set' of A is all the subsets of A [George/Velleman]
The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}} [George/Velleman]
Cartesian Product A x B: the set of all ordered pairs in which a∈A and b∈B [George/Velleman]
A set is 'well-ordered' if every subset has a first element [Clegg]
An 'upper bound' is the greatest member of a subset; there may be several of these, so there is a 'least' one [Lavine]
A 'proper subset' of A contains only members of A, but not all of them [Friend]
A 'powerset' is all the subsets of a set [Friend]