There are several definitions of tuples that give them the properties described in the previous section.
Tuples as functions The 0-tuple may be identified as the
empty function. For n \geq 1, the n-tuple \left(a_1, \ldots, a_n\right) may be identified with the
surjective function :F ~:~ \left\{ 1, \ldots, n \right\} ~\to~ \left\{ a_1, \ldots, a_n \right\} with
domain :\operatorname{domain} F = \left\{ 1, \ldots, n \right\} = \left\{ i \in \N : 1 \leq i \leq n\right\} and with
codomain :\operatorname{codomain} F = \left\{ a_1, \ldots, a_n \right\}, that is defined at i \in \operatorname{domain} F = \left\{ 1, \ldots, n \right\} by :F(i) := a_i. That is, F is the function defined by :\begin{alignat}{3} 1 \;&\mapsto&&\; a_1 \\ \;&\;\;\vdots&&\; \\ n \;&\mapsto&&\; a_n \\ \end{alignat} in which case the equality :\left(a_1, a_2, \dots, a_n\right) = \left(F(1), F(2), \dots, F(n)\right) necessarily holds. ;Tuples as sets of ordered pairs Functions are commonly identified with their
graphs, which is a certain set of ordered pairs. Indeed, many authors use graphs as the definition of a function. Using this definition of "function", the above function F can be defined as: :F ~:=~ \left\{ \left(1, a_1\right), \ldots, \left(n, a_n\right) \right\}.
Tuples as nested ordered pairs Another way of modeling tuples in set theory is as nested
ordered pairs. This approach assumes that the notion of ordered pair has already been defined. • The 0-tuple (i.e. the empty tuple) is represented by the empty set \emptyset. • An -tuple, with , can be defined as an ordered pair of its first entry and an -tuple (which contains the remaining entries when : • : (a_1, a_2, a_3, \ldots, a_n) = (a_1, (a_2, a_3, \ldots, a_n)) This definition can be applied recursively to the -tuple: : (a_1, a_2, a_3, \ldots, a_n) = (a_1, (a_2, (a_3, (\ldots, (a_n, \emptyset)\ldots)))) Thus, for example: : \begin{align} (1, 2, 3) & = (1, (2, (3, \emptyset))) \\ (1, 2, 3, 4) & = (1, (2, (3, (4, \emptyset)))) \\ \end{align} A variant of this definition starts "peeling off" elements from the other end: • The 0-tuple is the empty set \emptyset. • For : • : (a_1, a_2, a_3, \ldots, a_n) = ((a_1, a_2, a_3, \ldots, a_{n-1}), a_n) This definition can be applied recursively: : (a_1, a_2, a_3, \ldots, a_n) = ((\ldots(((\emptyset, a_1), a_2), a_3), \ldots), a_n) Thus, for example: : \begin{align} (1, 2, 3) & = (((\emptyset, 1), 2), 3) \\ (1, 2, 3, 4) & = ((((\emptyset, 1), 2), 3), 4) \\ \end{align}
Tuples as nested sets Using
Kuratowski's representation for an ordered pair, the second definition above can be reformulated in terms of pure
set theory: • The 0-tuple (i.e. the empty tuple) is represented by the empty set \emptyset; • Let x be an -tuple (a_1, a_2, \ldots, a_n), and let x \rightarrow b \equiv (a_1, a_2, \ldots, a_n, b). Then, x \rightarrow b \equiv \{\{x\}, \{x, b\}\}. (The right arrow, \rightarrow, could be read as "adjoined with".) In this formulation: : \begin{array}{lclcl} () & & &=& \emptyset \\ & & & & \\ (1) &=& () \rightarrow 1 &=& \{\{()\},\{(),1\}\} \\ & & &=& \{\{\emptyset\},\{\emptyset,1\}\} \\ & & & & \\ (1,2) &=& (1) \rightarrow 2 &=& \{\{(1)\},\{(1),2\}\} \\ & & &=& \{\{\{\{\emptyset\},\{\emptyset,1\}\}\}, \\ & & & & \{\{\{\emptyset\},\{\emptyset,1\}\},2\}\} \\ & & & & \\ (1,2,3) &=& (1,2) \rightarrow 3 &=& \{\{(1,2)\},\{(1,2),3\}\} \\ & & &=& \{\{\{\{\{\{\emptyset\},\{\emptyset,1\}\}\}, \\ & & & & \{\{\{\emptyset\},\{\emptyset,1\}\},2\}\}\}, \\ & & & & \{\{\{\{\{\emptyset\},\{\emptyset,1\}\}\}, \\ & & & & \{\{\{\emptyset\},\{\emptyset,1\}\},2\}\},3\}\} \\ \end{array} ==-tuples of -sets ==