Misplaced Pages

In mathematics, an ordered pair, denoted (a, b), is a pair of objects in which their order is significant. The ordered pair (a, b) is different from the ordered pair (b, a), unless a = b. In contrast, the unordered pair, denoted {a, b}, equals the unordered pair {b, a}.

Ordered pairs are also called 2-tuples, or sequences (sometimes, lists in a computer science context) of length 2. Ordered pairs of scalars are sometimes called 2-dimensional vectors. (Technically, this is an abuse of terminology since an ordered pair need not be an element of a vector space.) The entries of an ordered pair can be other ordered pairs, enabling the recursive definition of ordered n-tuples (ordered lists of n objects). For example, the ordered triple (a,b,c) can be defined as (a, (b,c)), i.e., as one pair nested in another.

In the ordered pair (a, b), the object a is called the first entry, and the object b the second entry of the pair. Alternatively, the objects are called the first and second components, the first and second coordinates, or the left and right projections of the ordered pair.

Cartesian products and binary relations (and hence functions) are defined in terms of ordered pairs, cf. picture.

Generalities

Let ${\displaystyle (a_{1},b_{1})}$ and ${\displaystyle (a_{2},b_{2})}$ be ordered pairs. Then the characteristic (or defining) property of the ordered pair is: $${\displaystyle (a_{1},b_{1})=(a_{2},b_{2}){\text{ if and only if }}a_{1}=a_{2}{\text{ and }}b_{1}=b_{2}.}$$

The set of all ordered pairs whose first entry is in some set A and whose second entry is in some set B is called the Cartesian product of A and B, and written A × B. A binary relation between sets A and B is a subset of A × B.

The (a, b) notation may be used for other purposes, most notably as denoting open intervals on the real number line. In such situations, the context will usually make it clear which meaning is intended. For additional clarification, the ordered pair may be denoted by the variant notation ${\textstyle \langle a,b\rangle }$, but this notation also has other uses.

The left and right projection of a pair p is usually denoted by π₁(p) and π₂(p), or by π_ℓ(p) and π_r(p), respectively. In contexts where arbitrary n-tuples are considered, π
_i(t) is a common notation for the i-th component of an n-tuple t.

Informal and formal definitions

In some introductory mathematics textbooks an informal (or intuitive) definition of ordered pair is given, such as

For any two objects a and b, the ordered pair (a, b) is a notation specifying the two objects a and b, in that order.

This is usually followed by a comparison to a set of two elements; pointing out that in a set a and b must be different, but in an ordered pair they may be equal and that while the order of listing the elements of a set doesn't matter, in an ordered pair changing the order of distinct entries changes the ordered pair.

This "definition" is unsatisfactory because it is only descriptive and is based on an intuitive understanding of order. However, as is sometimes pointed out, no harm will come from relying on this description and almost everyone thinks of ordered pairs in this manner.

A more satisfactory approach is to observe that the characteristic property of ordered pairs given above is all that is required to understand the role of ordered pairs in mathematics. Hence the ordered pair can be taken as a primitive notion, whose associated axiom is the characteristic property. This was the approach taken by the N. Bourbaki group in its Theory of Sets, published in 1954. However, this approach also has its drawbacks as both the existence of ordered pairs and their characteristic property must be axiomatically assumed.

Another way to rigorously deal with ordered pairs is to define them formally in the context of set theory. This can be done in several ways and has the advantage that existence and the characteristic property can be proven from the axioms that define the set theory. One of the most cited versions of this definition is due to Kuratowski (see below) and his definition was used in the second edition of Bourbaki's Theory of Sets, published in 1970. Even those mathematical textbooks that give an informal definition of ordered pairs will often mention the formal definition of Kuratowski in an exercise.

Defining the ordered pair using set theory

If one agrees that set theory is an appealing foundation of mathematics, then all mathematical objects must be defined as sets of some sort. Hence if the ordered pair is not taken as primitive, it must be defined as a set. Several set-theoretic definitions of the ordered pair are given below (see also).

Wiener's definition

Norbert Wiener proposed the first set theoretical definition of the ordered pair in 1914: $${\displaystyle \left(a,b\right):=\left\{\left\{\left\{a\right\},\,\emptyset \right\},\,\left\{\left\{b\right\}\right\}\right\}.}$$ He observed that this definition made it possible to define the types of Principia Mathematica as sets. Principia Mathematica had taken types, and hence relations of all arities, as primitive.

Wiener used {{b}} instead of {b} to make the definition compatible with type theory where all elements in a class must be of the same "type". With b nested within an additional set, its type is equal to ${\displaystyle \{\{a\},\emptyset \}}$'s.

Hausdorff's definition

About the same time as Wiener (1914), Felix Hausdorff proposed his definition: $${\displaystyle (a,b):=\left\{\{a,1\},\{b,2\}\right\}}$$ "where 1 and 2 are two distinct objects different from a and b."

Kuratowski's definition

In 1921 Kazimierz Kuratowski offered the now-accepted definition of the ordered pair (a, b): $${\displaystyle (a,\ b)_{K}\;:=\ \{\{a\},\ \{a,\ b\}\}.}$$ When the first and the second coordinates are identical, the definition obtains: $${\displaystyle (x,\ x)_{K}=\{\{x\},\{x,\ x\}\}=\{\{x\},\ \{x\}\}=\{\{x\}\}}$$

Given some ordered pair p, the property "x is the first coordinate of p" can be formulated as: $${\displaystyle \forall Y\in p:x\in Y.}$$ The property "x is the second coordinate of p" can be formulated as: $${\displaystyle (\exists Y\in p:x\in Y)\land (\forall Y_{1},Y_{2}\in p:Y_{1}\neq Y_{2}\rightarrow (x\notin Y_{1}\lor x\notin Y_{2})).}$$ In the case that the left and right coordinates are identical, the right conjunct ${\displaystyle (\forall Y_{1},Y_{2}\in p:Y_{1}\neq Y_{2}\rightarrow (x\notin Y_{1}\lor x\notin Y_{2}))}$ is trivially true, since Y₁ ≠ Y₂ is never the case.

If ${\displaystyle p=(x,y)=\{\{x\},\{x,y\}\}}$ then:

${\displaystyle \bigcap p=\bigcap {\bigg \{}\{x\},\{x,y\}{\bigg \}}=\{x\}\cap \{x,y\}=\{x\},}$

${\displaystyle \bigcup p=\bigcup {\bigg \{}\{x\},\{x,y\}{\bigg \}}=\{x\}\cup \{x,y\}=\{x,y\}.}$

This is how we can extract the first coordinate of a pair (using the iterated-operation notation for arbitrary intersection and arbitrary union): $${\displaystyle \pi _{1}(p)=\bigcup \bigcap p=\bigcup \{x\}=x.}$$

This is how the second coordinate can be extracted: $${\displaystyle \pi _{2}(p)=\bigcup \left\{\left.a\in \bigcup p\,\right|\,\bigcup p\neq \bigcap p\rightarrow a\notin \bigcap p\right\}=\bigcup \left\{\left.a\in \{x,y\}\,\right|\,\{x,y\}\neq \{x\}\rightarrow a\notin \{x\}\right\}=\bigcup \{y\}=y.}$$

(if ${\displaystyle x\neq y}$, then the set {y} could be obtained more simply: ${\displaystyle \{y\}=\{\left.a\in \{x,y\}\,\right|\,a\notin \{x\}\}}$, but the previous formula also takes into account the case when x=y)

Note that ${\displaystyle \pi _{1}}$ and ${\displaystyle \pi _{2}}$ are generalized functions, in the sense that their domains and codomains are proper classes.

Variants

The above Kuratowski definition of the ordered pair is "adequate" in that it satisfies the characteristic property that an ordered pair must satisfy, namely that ${\displaystyle (a,b)=(x,y)\leftrightarrow (a=x)\land (b=y)}$. In particular, it adequately expresses 'order', in that ${\displaystyle (a,b)=(b,a)}$ is false unless ${\displaystyle b=a}$. There are other definitions, of similar or lesser complexity, that are equally adequate:

• ${\displaystyle (a,b)_{\text{reverse}}:=\{\{b\},\{a,b\}\};}$
• ${\displaystyle (a,b)_{\text{short}}:=\{a,\{a,b\}\};}$
• ${\displaystyle (a,b)_{\text{01}}:=\{\{0,a\},\{1,b\}\}.}$

The reverse definition is merely a trivial variant of the Kuratowski definition, and as such is of no independent interest. The definition short is so-called because it requires two rather than three pairs of braces. Proving that short satisfies the characteristic property requires the Zermelo–Fraenkel set theory axiom of regularity. Moreover, if one uses von Neumann's set-theoretic construction of the natural numbers, then 2 is defined as the set {0, 1} = {0, {0}}, which is indistinguishable from the pair (0, 0)_short. Yet another disadvantage of the short pair is the fact that, even if a and b are of the same type, the elements of the short pair are not. (However, if a = b then the short version keeps having cardinality 2, which is something one might expect of any "pair", including any "ordered pair".)

Proving that definitions satisfy the characteristic property

Prove: (a, b) = (c, d) if and only if a = c and b = d.

Kuratowski:
If. If a = c and b = d, then {{a}, {a, b}} = {{c}, {c, d}}. Thus (a, b)_K = (c, d)_K.

Only if. Two cases: a = b, and a ≠ b.

If a = b:

(a, b)_K = {{a}, {a, b}} = {{a}, {a, a}} = {{a}}.

{{c}, {c, d}} = (c, d)_K = (a, b)_K = {{a}}.

Thus {c} = {c, d} = {a}, which implies a = c and a = d. By hypothesis, a = b. Hence b = d.

If a ≠ b, then (a, b)_K = (c, d)_K implies {{a}, {a, b}} = {{c}, {c, d}}.

Suppose {c, d} = {a}. Then c = d = a, and so {{c}, {c, d}} = {{a}, {a, a}} = {{a}, {a}} = {{a}}. But then {{a}, {a, b}} would also equal {{a}}, so that b = a which contradicts a ≠ b.

Suppose {c} = {a, b}. Then a = b = c, which also contradicts a ≠ b.

Therefore {c} = {a}, so that c = a and {c, d} = {a, b}.

If d = a were true, then {c, d} = {a, a} = {a} ≠ {a, b}, a contradiction. Thus d = b is the case, so that a = c and b = d.

Reverse:
(a, b)_reverse = {{b}, {a, b}} = {{b}, {b, a}} = (b, a)_K.

If. If (a, b)_reverse = (c, d)_reverse, (b, a)_K = (d, c)_K. Therefore, b = d and a = c.

Only if. If a = c and b = d, then {{b}, {a, b}} = {{d}, {c, d}}. Thus (a, b)_reverse = (c, d)_reverse.

Short:

If: If a = c and b = d, then {a, {a, b}} = {c, {c, d}}. Thus (a, b)_short = (c, d)_short.

Only if: Suppose {a, {a, b}} = {c, {c, d}}. Then a is in the left hand side, and thus in the right hand side. Because equal sets have equal elements, one of a = c or a = {c, d} must be the case.

If a = {c, d}, then by similar reasoning as above, {a, b} is in the right hand side, so {a, b} = c or {a, b} = {c, d}.

If {a, b} = c then c is in {c, d} = a and a is in c, and this combination contradicts the axiom of regularity, as {a, c} has no minimal element under the relation "element of."

If {a, b} = {c, d}, then a is an element of a, from a = {c, d} = {a, b}, again contradicting regularity.

Hence a = c must hold.

Again, we see that {a, b} = c or {a, b} = {c, d}.

The option {a, b} = c and a = c implies that c is an element of c, contradicting regularity.

So we have a = c and {a, b} = {c, d}, and so: {b} = {a, b} \ {a} = {c, d} \ {c} = {d}, so b = d.

Quine–Rosser definition

Rosser (1953) employed a definition of the ordered pair due to Quine which requires a prior definition of the natural numbers. Let ${\displaystyle \mathbb {N} }$ be the set of natural numbers and define first $${\displaystyle \sigma (x):={\begin{cases}x,&{\text{if }}x\notin \mathbb {N} ,\\x+1,&{\text{if }}x\in \mathbb {N} .\end{cases}}}$$ The function ${\displaystyle \sigma }$ increments its argument if it is a natural number and leaves it as is otherwise; the number 0 does not appear in the range of ${\displaystyle \sigma }$. As ${\displaystyle x\setminus \mathbb {N} }$ is the set of the elements of ${\displaystyle x}$ not in ${\displaystyle \mathbb {N} }$ go on with $${\displaystyle \varphi (x):=\sigma =\{\sigma (\alpha )\mid \alpha \in x\}=(x\setminus \mathbb {N} )\cup \{n+1:n\in (x\cap \mathbb {N} )\}.}$$ This is the set image of a set ${\displaystyle x}$ under ${\displaystyle \sigma }$, sometimes denoted by ${\displaystyle \sigma ''x}$ as well. Applying function ${\displaystyle \varphi }$ to a set x simply increments every natural number in it. In particular, ${\displaystyle \varphi (x)}$ never contains contain the number 0, so that for any sets x and y, $${\displaystyle \varphi (x)\neq \{0\}\cup \varphi (y).}$$ Further, define $${\displaystyle \psi (x):=\sigma \cup \{0\}=\varphi (x)\cup \{0\}.}$$ By this, ${\displaystyle \psi (x)}$ does always contain the number 0.

Finally, define the ordered pair (A, B) as the disjoint union $${\displaystyle (A,B):=\varphi \cup \psi =\{\varphi (a):a\in A\}\cup \{\varphi (b)\cup \{0\}:b\in B\}.}$$ (which is ${\displaystyle \varphi ''A\cup \psi ''B}$ in alternate notation).

Extracting all the elements of the pair that do not contain 0 and undoing ${\displaystyle \varphi }$ yields A. Likewise, B can be recovered from the elements of the pair that do contain 0.

For example, the pair ${\displaystyle (\{\{a,0\},\{b,c,1\}\},\{\{d,2\},\{e,f,3\}\})}$ is encoded as ${\displaystyle \{\{a,1\},\{b,c,2\},\{d,3,0\},\{e,f,4,0\}\}}$ provided ${\displaystyle a,b,c,d,e,f\notin \mathbb {N} }$.

In type theory and in outgrowths thereof such as the axiomatic set theory NF, the Quine–Rosser pair has the same type as its projections and hence is termed a "type-level" ordered pair. Hence this definition has the advantage of enabling a function, defined as a set of ordered pairs, to have a type only 1 higher than the type of its arguments. This definition works only if the set of natural numbers is infinite. This is the case in NF, but not in type theory or in NFU. J. Barkley Rosser showed that the existence of such a type-level ordered pair (or even a "type-raising by 1" ordered pair) implies the axiom of infinity. For an extensive discussion of the ordered pair in the context of Quinian set theories, see Holmes (1998).

Cantor–Frege definition

Early in the development of the set theory, before paradoxes were discovered, Cantor followed Frege by defining the ordered pair of two sets as the class of all relations that hold between these sets, assuming that the notion of relation is primitive: $${\displaystyle (x,y)=\{R:xRy\}.}$$

This definition is inadmissible in most modern formalized set theories and is methodologically similar to defining the cardinal of a set as the class of all sets equipotent with the given set.

Morse definition

Morse–Kelley set theory makes free use of proper classes. Morse defined the ordered pair so that its projections could be proper classes as well as sets. (The Kuratowski definition does not allow this.) He first defined ordered pairs whose projections are sets in Kuratowski's manner. He then redefined the pair $${\displaystyle (x,y)=(\{0\}\times s(x))\cup (\{1\}\times s(y))}$$ where the component Cartesian products are Kuratowski pairs of sets and where $${\displaystyle s(x)=\{\emptyset \}\cup \{\{t\}\mid t\in x\}}$$

This renders possible pairs whose projections are proper classes. The Quine–Rosser definition above also admits proper classes as projections. Similarly the triple is defined as a 3-tuple as follows: $${\displaystyle (x,y,z)=(\{0\}\times s(x))\cup (\{1\}\times s(y))\cup (\{2\}\times s(z))}$$

The use of the singleton set ${\displaystyle s(x)}$ which has an inserted empty set allows tuples to have the uniqueness property that if a is an n-tuple and b is an m-tuple and a = b then n = m. Ordered triples which are defined as ordered pairs do not have this property with respect to ordered pairs.

Axiomatic definition

Ordered pairs can also be introduced in Zermelo–Fraenkel set theory (ZF) axiomatically by just adding to ZF a new function symbol ${\displaystyle f}$ of arity 2 (it is usually omitted) and a defining axiom for ${\displaystyle f}$: $${\displaystyle f(a_{1},b_{1})=f(a_{2},b_{2}){\text{ if and only if }}a_{1}=a_{2}{\text{ and }}b_{1}=b_{2}.}$$

This definition is acceptable because this extension of ZF is a conservative extension.

The definition helps to avoid so called accidental theorems like (a,a) = {{a}}, and {a} ∈ (a,b), if Kuratowski's definition (a,b) = {{a}, {a,b}} was used.

Category theory

A category-theoretic product A × B in a category of sets represents the set of ordered pairs, with the first element coming from A and the second coming from B. In this context the characteristic property above is a consequence of the universal property of the product and the fact that elements of a set X can be identified with morphisms from 1 (a one element set) to X. While different objects may have the universal property, they are all naturally isomorphic.

See also

• Cartesian product
• Tarski–Grothendieck set theory
• Trybulec, Andrzej, 1989, "Tarski–Grothendieck Set Theory", Journal of Formalized Mathematics (definition Def5 of "ordered pairs" as { { x,y }, { x } })

References

1. Lay, Steven R. (2005), Analysis / With an Introduction to Proof (4th ed.), Pearson / Prentice Hall, p. 50, ISBN 978-0-13-148101-5
2. Devlin, Keith (2004), Sets, Functions and Logic / An Introduction to Abstract Mathematics (3rd ed.), Chapman & Hall / CRC, p. 79, ISBN 978-1-58488-449-1
3. ^ Wolf, Robert S. (1998), Proof, Logic, and Conjecture / The Mathematician's Toolbox, W. H. Freeman and Co., p. 164, ISBN 978-0-7167-3050-7
4. Fletcher, Peter; Patty, C. Wayne (1988), Foundations of Higher Mathematics, PWS-Kent, p. 80, ISBN 0-87150-164-3
5. Quine has argued that the set-theoretical implementations of the concept of the ordered pair is a paradigm for the clarification of philosophical ideas (see "Word and Object", section 53). The general notion of such definitions or implementations are discussed in Thomas Forster "Reasoning about theoretical entities".
6. Dipert, Randall. "Set-Theoretical Representations of Ordered Pairs and Their Adequacy for the Logic of Relations".
7. Wiener's paper "A Simplification of the logic of relations" is reprinted, together with a valuable commentary on pages 224ff in van Heijenoort, Jean (1967), From Frege to Gödel: A Source Book in Mathematical Logic, 1979–1931, Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 (pbk.). van Heijenoort states the simplification this way: "By giving a definition of the ordered pair of two elements in terms of class operations, the note reduced the theory of relations to that of classes".
8. cf introduction to Wiener's paper in van Heijenoort 1967:224
9. cf introduction to Wiener's paper in van Heijenoort 1967:224. van Heijenoort observes that the resulting set that represents the ordered pair "has a type higher by 2 than the elements (when they are of the same type)"; he offers references that show how, under certain circumstances, the type can be reduced to 1 or 0.
10. Kuratowski, Casimir (1921). "Sur la notion de l'ordre dans la Théorie des Ensembles". Fundamenta Mathematicae. 2 (1): 161–171. doi:10.4064/fm-2-1-161-171.
11. This differs from Hausdorff's definition in not requiring the two elements 0 and 1 to be distinct from a and b.
12. Tourlakis, George (2003) Lectures in Logic and Set Theory. Vol. 2: Set Theory. Cambridge Univ. Press. Proposition III.10.1.
13. For a formal Metamath proof of the adequacy of short, see here (opthreg). Also see Tourlakis (2003), Proposition III.10.1.
14. J. Barkley Rosser, 1953. Logic for Mathematicians. McGraw–Hill.
15. Holmes, M. Randall: On Ordered Pairs, on: Boise State, March 29, 2009. The author uses ${\displaystyle \sigma _{1}}$ for ${\displaystyle \varphi }$ and ${\displaystyle \sigma _{2}}$ for ${\displaystyle \psi }$.
16. Holmes, M. Randall (1998) Elementary Set Theory with a Universal Set Archived 2011-04-11 at the Wayback Machine. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this monograph via the web.
17. Frege, Gottlob (1893). "144". Grundgesetze der Arithmetik (PDF). Jena: Verlag Hermann Pohle.
18. Kanamori, Akihiro (2007). Set Theory From Cantor to Cohen (PDF). Elsevier BV. p. 22, footnote 59
19. Morse, Anthony P. (1965). A Theory of Sets. Academic Press.

v t e Mathematical logic
General	Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence Model Theorem Theory Type theory
Theorems (list)  and paradoxes	Gödel's completeness and incompleteness theorems Tarski's undefinability Banach–Tarski paradox Cantor's theorem, paradox and diagonal argument Compactness Halting problem Lindström's Löwenheim–Skolem Russell's paradox
Logics	Traditional Classical logic Logical truth Tautology Proposition Inference Logical equivalence Consistency Equiconsistency Argument Soundness Validity Syllogism Square of opposition Venn diagram Propositional Boolean algebra Boolean functions Logical connectives Propositional calculus Propositional formula Truth tables Many-valued logic 3 finite ∞ Predicate First-order list Second-order Monadic Higher-order Fixed-point Free Quantifiers Predicate Monadic predicate calculus
Set theory	Set hereditary Class (Ur-)Element Ordinal number Extensionality Forcing Relation equivalence partition Set operations: intersection union complement Cartesian product power set identities Types of sets Countable Uncountable Empty Inhabited Singleton Finite Infinite Transitive Ultrafilter Recursive Fuzzy Universal Universe constructible Grothendieck Von Neumann Maps and cardinality Function/Map domain codomain image In/Sur/Bi-jection Schröder–Bernstein theorem Isomorphism Gödel numbering Enumeration Large cardinal inaccessible Aleph number Operation binary Set theories Zermelo–Fraenkel axiom of choice continuum hypothesis General Kripke–Platek Morse–Kelley Naive New Foundations Tarski–Grothendieck Von Neumann–Bernays–Gödel Ackermann Constructive
Formal systems (list), language and syntax	Alphabet Arity Automata Axiom schema Expression ground Extension by definition conservative Relation Formation rule Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional variable Proof Quantifier ∃ ! ∀ rank Sentence atomic spectrum Signature String Substitution Symbol function logical/constant non-logical variable Term Theory list Example axiomatic systems (list) of arithmetic: Peano second-order elementary function primitive recursive Robinson Skolem of the real numbers Tarski's axiomatization of Boolean algebras canonical minimal axioms of geometry: Euclidean: Elements Hilbert's Tarski's non-Euclidean Principia Mathematica
Proof theory	Formal proof Natural deduction Logical consequence Rule of inference Sequent calculus Theorem Systems axiomatic deductive Hilbert list Complete theory Independence (from ZFC) Proof of impossibility Ordinal analysis Reverse mathematics Self-verifying theories
Model theory	Interpretation function of models Model equivalence finite saturated spectrum submodel Non-standard model of arithmetic Diagram elementary Categorical theory Model complete theory Satisfiability Semantics of logic Strength Theories of truth semantic Tarski's Kripke's T-schema Transfer principle Truth predicate Truth value Type Ultraproduct Validity
Computability theory	Church encoding Church–Turing thesis Computably enumerable Computable function Computable set Decision problem decidable undecidable P NP P versus NP problem Kolmogorov complexity Lambda calculus Primitive recursive function Recursion Recursive set Turing machine Type theory
Related	Abstract logic Algebraic logic Automated theorem proving Category theory Concrete/Abstract category Category of sets History of logic History of mathematical logic timeline Logicism Mathematical object Philosophy of mathematics Supertask
Mathematics portal

v t e Set theory
Overview	Set (mathematics)
Axioms	Adjunction Choice countable dependent global Constructibility (V=L) Determinacy projective Extensionality Infinity Limitation of size Pairing Power set Regularity Union Martin's axiom Axiom schema replacement specification
Operations	Cartesian product Complement (i.e. set difference) De Morgan's laws Disjoint union Identities Intersection Power set Symmetric difference Union
Concepts Methods	Almost Cardinality Cardinal number (large) Class Constructible universe Continuum hypothesis Diagonal argument Element ordered pair tuple Family Forcing One-to-one correspondence Ordinal number Set-builder notation Transfinite induction Venn diagram
Set types	Amorphous Countable Empty Finite (hereditarily) Filter base subbase Ultrafilter Fuzzy Infinite (Dedekind-infinite) Recursive Singleton Subset · Superset Transitive Uncountable Universal
Theories	Alternative Axiomatic Naive Cantor's theorem Zermelo General Principia Mathematica New Foundations Zermelo–Fraenkel von Neumann–Bernays–Gödel Morse–Kelley Kripke–Platek Tarski–Grothendieck
Paradoxes Problems	Russell's paradox Suslin's problem Burali-Forti paradox
Set theorists	Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo

• Basic concepts in set theory
• Order theory
• Type theory