4081:
3327:
4076:{\displaystyle {\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}}}
5711:
5643:
1568:
3016:
2440:
4361:
4517:
1254:
2829:
2253:
2646:
607:
1704:
1845:
1149:
2062:
1476:
1334:
1397:
492:
3233:
4971:
4762:
3295:
2840:
2264:
2845:
2269:
4244:
1037:
5164:
4376:
3150:
4598:
1163:
757:
689:
2659:
2083:
884:
822:
220:, featuring unordered elements accessed by label. A few programming languages combine ordered tuple product types and unordered record types into a single construct, as in
3315:
1445:
3056:
2467:
1881:
6175:
961:
1721:, 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
2484:
3079:
1739:
1468:
981:
928:
499:
1579:
1747:
1052:
1919:
1563:{\displaystyle {\begin{alignedat}{3}1\;&\mapsto &&\;a_{1}\\\;&\;\;\vdots &&\;\\n\;&\mapsto &&\;a_{n}\\\end{alignedat}}}
1268:
1342:
267:
The term originated as an abstraction of the sequence: single, couple/double, triple, quadruple, quintuple, sextuple, septuple, octuple, ...,
6340:
5628:
5611:
5541:
1481:
381:
5864:
5677:
3155:
6192:
5326:
5363:
5589:
5561:
5494:
5412:
5375:
4773:
6170:
5764:
221:
53:
4606:
3011:{\displaystyle {\begin{aligned}(1,2,3)&=(((\emptyset ,1),2),3)\\(1,2,3,4)&=((((\emptyset ,1),2),3),4)\\\end{aligned}}}
2435:{\displaystyle {\begin{aligned}(1,2,3)&=(1,(2,(3,\emptyset )))\\(1,2,3,4)&=(1,(2,(3,(4,\emptyset ))))\\\end{aligned}}}
6330:
248:
3238:
4541:
of a type theory, and use the Scott brackets to indicate the semantic interpretation, then the model consists of some sets
4356:{\displaystyle (x_{1},x_{2},\ldots ,x_{n}):{\mathsf {T}}_{1}\times {\mathsf {T}}_{2}\times \ldots \times {\mathsf {T}}_{n}}
6335:
5944:
5823:
5603:
213:
6187:
4537:
The notion of a tuple in type theory and that in set theory are related in the following way: If we consider the natural
5202:
4531:
6180:
5818:
5781:
986:
4120:-tuples arise in the context of various counting problems and are treated more informally as ordered lists of length
4512:{\displaystyle \pi _{1}(x):{\mathsf {T}}_{1},~\pi _{2}(x):{\mathsf {T}}_{2},~\ldots ,~\pi _{n}(x):{\mathsf {T}}_{n}}
4995:
1249:{\displaystyle \operatorname {domain} F=\left\{1,\ldots ,n\right\}=\left\{i\in \mathbb {N} :1\leq i\leq n\right\}}
5869:
5754:
5742:
5737:
5407:. Oxford guidelines quick reference (3 ed.). Oxford: Oxford University Press (published 2016). p. 342.
4527:
3090:
217:
6325:
5670:
4544:
4367:
2824:{\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n})=((\ldots (((\emptyset ,a_{1}),a_{2}),a_{3}),\ldots ),a_{n})}
2248:{\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n})=(a_{1},(a_{2},(a_{3},(\ldots ,(a_{n},\emptyset )\ldots ))))}
6289:
6207:
6082:
6034:
5848:
5771:
112:
694:
626:
138:
denotes a 5-tuple. Other types of brackets are sometimes used, although they may have a different meaning.
6241:
6122:
5934:
5747:
5567:
5217:
1044:
931:
197:
150:
902:
There are several definitions of tuples that give them the properties described in the previous section.
827:
765:
6157:
6071:
5991:
5971:
5949:
46:
6345:
6231:
6221:
6055:
5986:
5939:
5879:
5759:
5271:
5263:
5255:
4231:
4103:
1155:
162:
6226:
6137:
6050:
6045:
6040:
5854:
5796:
5727:
5663:
5571:
5486:
1718:
1040:
225:
205:
166:
81:
3300:
1405:
6149:
6144:
5929:
5884:
5791:
5192:
4111:
3332:
240:
5510:
3041:
2452:
1866:
6006:
5843:
5835:
5806:
5776:
5700:
5624:
5607:
5585:
5557:
5537:
5490:
5408:
5371:
5267:
5187:
4196:
937:
614:
5425:
ordered n-tuple A generalization of the notion of an ordered pair to sequences of n objects.
4238:; this fixes not only the length, but also the underlying types of each component. Formally:
2641:{\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n})=((a_{1},a_{2},a_{3},\ldots ,a_{n-1}),a_{n})}
6294:
6284:
6269:
6264:
6132:
5786:
5478:
4523:
209:
193:
146:
6163:
6101:
5919:
5732:
5398:
5197:
4171:
5479:
602:{\displaystyle a_{1}=b_{1},{\text{ }}a_{2}=b_{2},{\text{ }}\ldots ,{\text{ }}a_{n}=b_{n}}
1699:{\displaystyle \left(a_{1},a_{2},\dots ,a_{n}\right)=\left(F(1),F(2),\dots ,F(n)\right)}
6299:
6096:
6077:
5981:
5966:
5923:
5859:
5801:
5619:
5575:
5251:
5232:
3064:
1724:
1453:
966:
913:
494:
354:
347:
320:
229:
158:
5642:
1840:{\displaystyle F~:=~\left\{\left(1,a_{1}\right),\ldots ,\left(n,a_{n}\right)\right\}.}
1144:{\displaystyle F~:~\left\{1,\ldots ,n\right\}~\to ~\left\{a_{1},\ldots ,a_{n}\right\}}
6319:
6304:
6274:
6106:
6020:
6015:
5595:
5208:
4107:
2057:{\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n})=(a_{1},(a_{2},a_{3},\ldots ,a_{n}))}
52:"Sextuple" redirects here. For the sporting achievement of association football, see
39:
6254:
6249:
6067:
5996:
5954:
5813:
5710:
5549:
4538:
4235:
4221:
3027:
1856:
244:
201:
170:
116:
1859:. This approach assumes that the notion of ordered pair has already been defined.
5580:
5402:
6279:
5914:
4227:
4181:
4144:
252:
61:
5308:
2445:
A variant of this definition starts "peeling off" elements from the other end:
6259:
6127:
6030:
5686:
5259:
5227:
4600:(note: the use of italics here that distinguishes sets from types) such that:
3031:
1329:{\displaystyle \operatorname {codomain} F=\left\{a_{1},\ldots ,a_{n}\right\},}
324:
256:
6062:
6025:
5976:
5874:
5647:
5170:
346:
as in "triple" (three-fold) or "decuple" (tenâfold). This originates from
5516:
5222:
1260:
890:
332:
328:
69:
1392:{\displaystyle i\in \operatorname {domain} F=\left\{1,\ldots ,n\right\}}
487:{\displaystyle (a_{1},a_{2},\ldots ,a_{n})=(b_{1},b_{2},\ldots ,b_{n})}
316:
130:
Tuples are usually written by listing the elements within parentheses "
104:
17:
5344:
216:. Many programming languages offer an alternative to tuples, known as
6087:
5909:
5284:
77:
32:
3038:
The 0-tuple (i.e. the empty tuple) is represented by the empty set
3030:, the second definition above can be reformulated in terms of pure
1863:
The 0-tuple (i.e. the empty tuple) is represented by the empty set
5719:
5182:
3228:{\displaystyle x\rightarrow b\equiv (a_{1},a_{2},\ldots ,a_{n},b)}
274:
5584:, Elsevier Studies in Logic Vol. 67, 2nd Edition, revised, 1973,
4530:. Both of these types can be defined as simple extensions of the
5659:
621:
A tuple may contain multiple instances of the same element, so
1899:, can be defined as an ordered pair of its first entry and an
5655:
45:"Duodecuple" redirects here. For the musical technique, see
5620:
Lecture Notes in Logic and Set Theory. Volume 2: Set Theory
4983:-tuple of type theory has the natural interpretation as an
4966:{\displaystyle \!]\in \!],~\!]\in \!],~\ldots ,~\!]\in \!]}
1855:
Another way of modeling tuples in Set Theory is as nested
889:
A tuple has a finite number of elements, while a set or a
4757:{\displaystyle \!]=S_{1},~\!]=S_{2},~\ldots ,~\!]=S_{n}}
277:
names of the numerals. The unique 0-tuple is called the
613:
Thus a tuple has properties that distinguish it from a
3290:{\displaystyle x\rightarrow b\equiv \{\{x\},\{x,b\}\}}
357:âÏλοῊÏ, which replaced the classical and late antique
177:-tuple can be identified with the ordered pair of its
4998:
4776:
4609:
4547:
4379:
4247:
3330:
3303:
3241:
3158:
3093:
3067:
3044:
2843:
2662:
2487:
2455:
2267:
2086:
1922:
1869:
1750:
1727:
1582:
1479:
1456:
1408:
1345:
1271:
1166:
1055:
989:
969:
940:
916:
830:
768:
697:
629:
502:
384:
165:. Tuples may be also defined from ordered pairs by a
6240:
6203:
6115:
6005:
5893:
5834:
5718:
5693:
273:âtuple, ..., where the prefixes are taken from the
5345:"Does JavaScript Guarantee Object Property Order?"
5274:has its own convention for the different brackets.
5158:
4965:
4756:
4592:
4511:
4355:
4075:
3309:
3289:
3227:
3144:
3073:
3050:
3010:
2823:
2640:
2461:
2434:
2247:
2069:This definition can be applied recursively to the
2056:
1907:-tuple (which contains the remaining entries when
1875:
1839:
1733:
1698:
1562:
1462:
1439:
1391:
1328:
1248:
1143:
1031:
975:
955:
922:
878:
816:
751:
683:
601:
486:
5148:
5131:
5115:
5098:
5088:
5071:
5057:
5002:
4959:
4938:
4928:
4911:
4889:
4868:
4858:
4841:
4828:
4807:
4797:
4780:
4737:
4716:
4681:
4660:
4634:
4613:
5534:Mathematical Thinking/Problem-Solving and Proofs
5464:
5452:
1032:{\displaystyle \left(a_{1},\ldots ,a_{n}\right)}
111:. A 1-tuple and a 2-tuple are commonly called a
3028:Kuratowski's representation for an ordered pair
4767:and the interpretation of the basic terms is:
5671:
5443:"triple", "quadruple", "quintuple", "decuple"
5159:{\displaystyle \!]=(\,\!],\!],\ldots ,\!]\,)}
1717:Functions are commonly identified with their
8:
5532:D'Angelo, John P.; West, Douglas B. (2000),
5368:The Concise Oxford Dictionary of Linguistics
5173:has as semantic interpretation the 0-tuple.
4522:The tuple with labeled elements used in the
4066:
4063:
4054:
4051:
4042:
4039:
4027:
4021:
4015:
4012:
4009:
3995:
3992:
3989:
3977:
3971:
3965:
3962:
3959:
3956:
3953:
3939:
3936:
3933:
3924:
3921:
3909:
3903:
3897:
3894:
3891:
3877:
3874:
3871:
3859:
3853:
3847:
3844:
3841:
3838:
3835:
3832:
3817:
3814:
3790:
3784:
3766:
3763:
3693:
3690:
3681:
3678:
3666:
3660:
3654:
3651:
3648:
3634:
3631:
3628:
3616:
3610:
3604:
3601:
3598:
3595:
3580:
3577:
3559:
3553:
3541:
3538:
3480:
3477:
3465:
3459:
3453:
3450:
3435:
3432:
3417:
3411:
3402:
3399:
3284:
3281:
3269:
3263:
3257:
3254:
2653:This definition can be applied recursively:
873:
855:
849:
831:
746:
728:
722:
698:
323:can be represented as a 2âtuple of reals, a
38:"Octuple" redirects here. For the boat, see
5512:From sets, to types, to categories, to sets
4212:. Tuples are elements of this product set.
3145:{\displaystyle (a_{1},a_{2},\ldots ,a_{n})}
5678:
5664:
5656:
1545:
1534:
1526:
1519:
1518:
1513:
1498:
1487:
5152:
5139:
5106:
5079:
5067:
5045:
5026:
5013:
4997:
4950:
4944:
4943:
4919:
4880:
4874:
4873:
4849:
4819:
4813:
4812:
4788:
4775:
4748:
4728:
4722:
4721:
4692:
4672:
4666:
4665:
4645:
4625:
4619:
4618:
4608:
4593:{\displaystyle S_{1},S_{2},\ldots ,S_{n}}
4584:
4565:
4552:
4546:
4503:
4497:
4496:
4477:
4452:
4446:
4445:
4426:
4410:
4404:
4403:
4384:
4378:
4347:
4341:
4340:
4324:
4318:
4317:
4307:
4301:
4300:
4287:
4268:
4255:
4246:
4132:-tuples whose entries come from a set of
3331:
3329:
3302:
3240:
3210:
3191:
3178:
3157:
3133:
3114:
3101:
3092:
3066:
3043:
2844:
2842:
2812:
2787:
2771:
2755:
2715:
2696:
2683:
2670:
2661:
2629:
2607:
2588:
2575:
2562:
2540:
2521:
2508:
2495:
2486:
2454:
2268:
2266:
2215:
2190:
2174:
2158:
2139:
2120:
2107:
2094:
2085:
2042:
2023:
2010:
1994:
1975:
1956:
1943:
1930:
1921:
1868:
1818:
1783:
1749:
1726:
1624:
1605:
1592:
1581:
1550:
1503:
1480:
1478:
1455:
1428:
1407:
1344:
1312:
1293:
1270:
1219:
1218:
1165:
1130:
1111:
1054:
1018:
999:
988:
968:
939:
915:
829:
767:
696:
628:
593:
580:
571:
560:
551:
538:
529:
520:
507:
501:
475:
456:
443:
424:
405:
392:
383:
369:The general rule for the identity of two
4189:, this number is the cardinality of the
893:may have an infinite number of elements.
331:can be represented as an 8âtuple, and a
196:, tuples come in many forms. Most typed
134:" and separated by commas; for example,
107:. There is only one 0-tuple, called the
5300:
5244:
342:as the suffix, the original suffix was
200:languages implement tuples directly as
4945:
4875:
4814:
4723:
4667:
4620:
4498:
4447:
4405:
4342:
4319:
4302:
4170:. This follows from the combinatorial
145:-tuple can be formally defined as the
5362:Matthews, P. H., ed. (January 2007).
4148:and, in some non-English literature,
752:{\displaystyle \{1,2,2,3\}=\{1,2,3\}}
684:{\displaystyle (1,2,2,3)\neq (1,2,3)}
7:
5623:, Cambridge University Press, 2003,
5600:Introduction to Axiomatic Set Theory
3317:, could be read as "adjoined with".)
361:(meaning "folded"), as in "duplex".
327:can be represented as a 4âtuple, an
5404:The Oxford Dictionary of Philosophy
5309:"Algebraic data type - HaskellWiki"
879:{\displaystyle \{1,2,3\}=\{3,2,1\}}
817:{\displaystyle (1,2,3)\neq (3,2,1)}
5556:. Springer Verlag, 2nd ed., 1993,
4030:
4018:
3980:
3968:
3912:
3900:
3862:
3850:
3669:
3657:
3619:
3607:
3468:
3456:
3350:
3045:
2965:
2885:
2745:
2456:
2413:
2327:
2224:
1870:
762:Tuple elements are ordered: tuple
335:can be represented as a 16âtuple.
25:
5709:
5641:
5581:Foundations of school Set Theory
930:-tuple may be identified as the
5536:(2nd ed.), Prentice-Hall,
5481:Types and Programming Languages
1713:Tuples as sets of ordered pairs
54:Sextuple (association football)
27:Finite ordered list of elements
5153:
5149:
5145:
5132:
5128:
5116:
5112:
5099:
5095:
5089:
5085:
5072:
5068:
5064:
5058:
5054:
5051:
5006:
5003:
4999:
4960:
4956:
4939:
4935:
4929:
4925:
4912:
4908:
4890:
4886:
4869:
4865:
4859:
4855:
4842:
4838:
4829:
4825:
4808:
4804:
4798:
4794:
4781:
4777:
4738:
4734:
4717:
4713:
4682:
4678:
4661:
4657:
4635:
4631:
4614:
4610:
4489:
4483:
4438:
4432:
4396:
4390:
4293:
4248:
3805:
3793:
3781:
3769:
3750:
3747:
3735:
3725:
3707:
3568:
3562:
3550:
3544:
3525:
3522:
3516:
3506:
3494:
3423:
3420:
3408:
3405:
3386:
3383:
3380:
3370:
3364:
3338:
3335:
3304:
3245:
3222:
3171:
3162:
3139:
3094:
3001:
2992:
2983:
2974:
2962:
2959:
2956:
2953:
2943:
2919:
2912:
2903:
2894:
2882:
2879:
2876:
2866:
2848:
2818:
2802:
2793:
2777:
2761:
2742:
2739:
2736:
2730:
2727:
2721:
2663:
2635:
2619:
2555:
2552:
2546:
2488:
2425:
2422:
2419:
2416:
2404:
2395:
2386:
2377:
2367:
2343:
2336:
2333:
2330:
2318:
2309:
2300:
2290:
2272:
2242:
2239:
2236:
2233:
2227:
2208:
2199:
2183:
2167:
2151:
2145:
2087:
2051:
2048:
2003:
1987:
1981:
1923:
1851:Tuples as nested ordered pairs
1688:
1682:
1667:
1661:
1652:
1646:
1539:
1492:
1418:
1412:
1096:
811:
793:
787:
769:
678:
660:
654:
630:
481:
436:
430:
385:
249:Resource Description Framework
1:
5646:The dictionary definition of
2449:The 0-tuple is the empty set
6341:Basic concepts in set theory
5203:Multidimensional Expressions
4532:simply typed lambda calculus
4140:arrangements with repetition
3310:{\displaystyle \rightarrow }
1573:in which case the equality
1440:{\displaystyle F(i):=a_{i}.}
1039:may be identified with the (
353:(meaning "more") related to
301:, and a 3âtuple is called a
228:may formally identify their
5401:(1994). "ordered n-tuple".
5370:. Oxford University Press.
5287:, from the Greek for -fold.
1470:is the function defined by
6362:
6176:von NeumannâBernaysâGödel
5327:"Destructuring assignment"
4219:
4150:variations with repetition
4145:permutations of a multiset
3051:{\displaystyle \emptyset }
2462:{\displaystyle \emptyset }
1876:{\displaystyle \emptyset }
338:Although these uses treat
293:), a 2âtuple is called an
204:, tightly associated with
31:For the musical term, see
29:
5977:One-to-one correspondence
5707:
5477:Pierce, Benjamin (2002).
5283:Compare the etymology of
4138:elements are also called
123:is occasionally used for
119:, respectively. The term
5465:D'Angelo & West 2000
5453:D'Angelo & West 2000
956:{\displaystyle n\geq 1,}
285:. A 1âtuple is called a
214:destructuring assignment
153:that has the set of the
4370:are term constructors:
315:can be any nonnegative
243:; when programming the
185:first elements and its
84:, which are called the
5935:Constructible universe
5755:Constructibility (V=L)
5568:Abraham Adolf Fraenkel
5485:. MIT Press. pp.
5218:Relation (mathematics)
5160:
4989:-tuple of set theory:
4967:
4758:
4594:
4513:
4357:
4077:
3311:
3291:
3229:
3146:
3075:
3052:
3012:
2825:
2642:
2463:
2436:
2249:
2058:
1877:
1841:
1735:
1700:
1564:
1464:
1441:
1393:
1330:
1250:
1145:
1033:
977:
957:
924:
880:
818:
753:
685:
603:
488:
198:functional programming
6331:Mathematical notation
6158:Principia Mathematica
5992:Transfinite induction
5851:(i.e. set difference)
5617:George J. Tourlakis,
5161:
4968:
4759:
4595:
4514:
4358:
4232:programming languages
4078:
3321:In this formulation:
3312:
3297:. (The right arrow,
3292:
3230:
3147:
3076:
3053:
3022:Tuples as nested sets
3013:
2826:
2643:
2464:
2437:
2250:
2059:
1878:
1842:
1736:
1701:
1565:
1465:
1442:
1394:
1331:
1251:
1146:
1034:
978:
958:
925:
881:
819:
754:
686:
604:
489:
239:Tuples also occur in
224:and Haskell records.
47:Twelve-tone technique
6336:Sequences and series
6232:Burali-Forti paradox
5987:Set-builder notation
5940:Continuum hypothesis
5880:Symmetric difference
5272:programming language
4996:
4774:
4607:
4545:
4377:
4245:
4104:discrete mathematics
3328:
3301:
3239:
3156:
3091:
3065:
3042:
2841:
2660:
2485:
2453:
2265:
2084:
1920:
1867:
1748:
1725:
1580:
1477:
1454:
1406:
1343:
1269:
1164:
1053:
987:
967:
938:
914:
828:
766:
695:
627:
500:
382:
226:Relational databases
206:algebraic data types
125:"infinite sequences"
82:mathematical objects
80:or, more generally,
6193:TarskiâGrothendieck
5572:Yehoshua Bar-Hillel
4230:, commonly used in
4180:is a finite set of
2834:Thus, for example:
2258:Thus, for example:
1741:can be defined as:
1709:necessarily holds.
1339:that is defined at
906:Tuples as functions
5782:Limitation of size
5193:Exponential object
5156:
4963:
4754:
4590:
4509:
4353:
4112:probability theory
4073:
4071:
3307:
3287:
3225:
3142:
3071:
3048:
3008:
3006:
2821:
2638:
2459:
2432:
2430:
2245:
2054:
1873:
1837:
1731:
1696:
1560:
1558:
1460:
1437:
1389:
1326:
1246:
1141:
1029:
973:
953:
920:
876:
814:
749:
681:
599:
484:
241:relational algebra
103:is a non-negative
88:of the tuple. An
6313:
6312:
6222:Russell's paradox
6171:ZermeloâFraenkel
6072:Dedekind-infinite
5945:Diagonal argument
5844:Cartesian product
5701:Set (mathematics)
5629:978-0-521-75374-6
5612:978-0-387-90024-7
5543:978-0-13-014412-6
5188:Coordinate vector
4907:
4898:
4837:
4712:
4703:
4656:
4472:
4463:
4421:
3074:{\displaystyle x}
1762:
1756:
1734:{\displaystyle F}
1463:{\displaystyle F}
1101:
1095:
1067:
1061:
976:{\displaystyle n}
923:{\displaystyle 0}
574:
563:
532:
319:. For example, a
16:(Redirected from
6353:
6295:Bertrand Russell
6285:John von Neumann
6270:Abraham Fraenkel
6265:Richard Dedekind
6227:Suslin's problem
6138:Cantor's theorem
5855:De Morgan's laws
5713:
5680:
5673:
5666:
5657:
5645:
5598:, W. M. Zaring,
5546:
5519:
5507:
5501:
5500:
5484:
5474:
5468:
5462:
5456:
5450:
5444:
5434:
5428:
5427:
5422:
5421:
5399:Blackburn, Simon
5395:
5389:
5388:
5386:
5384:
5359:
5353:
5352:
5341:
5335:
5334:
5333:. 18 April 2023.
5323:
5317:
5316:
5313:wiki.haskell.org
5305:
5288:
5281:
5275:
5249:
5165:
5163:
5162:
5157:
5144:
5143:
5111:
5110:
5084:
5083:
5050:
5049:
5031:
5030:
5018:
5017:
4988:
4982:
4972:
4970:
4969:
4964:
4955:
4954:
4949:
4948:
4924:
4923:
4905:
4896:
4885:
4884:
4879:
4878:
4854:
4853:
4835:
4824:
4823:
4818:
4817:
4793:
4792:
4763:
4761:
4760:
4755:
4753:
4752:
4733:
4732:
4727:
4726:
4710:
4701:
4697:
4696:
4677:
4676:
4671:
4670:
4654:
4650:
4649:
4630:
4629:
4624:
4623:
4599:
4597:
4596:
4591:
4589:
4588:
4570:
4569:
4557:
4556:
4524:relational model
4518:
4516:
4515:
4510:
4508:
4507:
4502:
4501:
4482:
4481:
4470:
4461:
4457:
4456:
4451:
4450:
4431:
4430:
4419:
4415:
4414:
4409:
4408:
4389:
4388:
4362:
4360:
4359:
4354:
4352:
4351:
4346:
4345:
4329:
4328:
4323:
4322:
4312:
4311:
4306:
4305:
4292:
4291:
4273:
4272:
4260:
4259:
4234:, a tuple has a
4211:
4194:
4188:
4179:
4169:
4163:
4157:
4152:. The number of
4137:
4131:
4125:
4119:
4097:
4091:
4082:
4080:
4079:
4074:
4072:
4007:
4006:
4005:
4004:
3951:
3950:
3949:
3948:
3889:
3888:
3887:
3886:
3825:
3824:
3823:
3703:
3702:
3701:
3700:
3699:
3646:
3645:
3644:
3643:
3588:
3587:
3586:
3490:
3489:
3488:
3487:
3486:
3443:
3442:
3441:
3360:
3359:
3358:
3357:
3356:
3343:
3342:
3316:
3314:
3313:
3308:
3296:
3294:
3293:
3288:
3234:
3232:
3231:
3226:
3215:
3214:
3196:
3195:
3183:
3182:
3151:
3149:
3148:
3143:
3138:
3137:
3119:
3118:
3106:
3105:
3086:
3080:
3078:
3077:
3072:
3057:
3055:
3054:
3049:
3017:
3015:
3014:
3009:
3007:
2830:
2828:
2827:
2822:
2817:
2816:
2792:
2791:
2776:
2775:
2760:
2759:
2720:
2719:
2701:
2700:
2688:
2687:
2675:
2674:
2647:
2645:
2644:
2639:
2634:
2633:
2618:
2617:
2593:
2592:
2580:
2579:
2567:
2566:
2545:
2544:
2526:
2525:
2513:
2512:
2500:
2499:
2478:
2468:
2466:
2465:
2460:
2441:
2439:
2438:
2433:
2431:
2254:
2252:
2251:
2246:
2220:
2219:
2195:
2194:
2179:
2178:
2163:
2162:
2144:
2143:
2125:
2124:
2112:
2111:
2099:
2098:
2076:
2063:
2061:
2060:
2055:
2047:
2046:
2028:
2027:
2015:
2014:
1999:
1998:
1980:
1979:
1961:
1960:
1948:
1947:
1935:
1934:
1913:
1906:
1898:
1891:
1882:
1880:
1879:
1874:
1846:
1844:
1843:
1838:
1833:
1829:
1828:
1824:
1823:
1822:
1793:
1789:
1788:
1787:
1760:
1754:
1740:
1738:
1737:
1732:
1705:
1703:
1702:
1697:
1695:
1691:
1634:
1630:
1629:
1628:
1610:
1609:
1597:
1596:
1569:
1567:
1566:
1561:
1559:
1555:
1554:
1543:
1524:
1508:
1507:
1496:
1469:
1467:
1466:
1461:
1446:
1444:
1443:
1438:
1433:
1432:
1398:
1396:
1395:
1390:
1388:
1384:
1335:
1333:
1332:
1327:
1322:
1318:
1317:
1316:
1298:
1297:
1255:
1253:
1252:
1247:
1245:
1241:
1222:
1203:
1199:
1150:
1148:
1147:
1142:
1140:
1136:
1135:
1134:
1116:
1115:
1099:
1093:
1092:
1088:
1065:
1059:
1038:
1036:
1035:
1030:
1028:
1024:
1023:
1022:
1004:
1003:
982:
980:
979:
974:
962:
960:
959:
954:
929:
927:
926:
921:
885:
883:
882:
877:
823:
821:
820:
815:
758:
756:
755:
750:
690:
688:
687:
682:
608:
606:
605:
600:
598:
597:
585:
584:
575:
572:
564:
561:
556:
555:
543:
542:
533:
530:
525:
524:
512:
511:
493:
491:
490:
485:
480:
479:
461:
460:
448:
447:
429:
428:
410:
409:
397:
396:
374:
314:
272:
210:pattern matching
194:computer science
188:
184:
176:
156:
144:
137:
133:
121:"infinite tuple"
102:
99:elements, where
98:
92:
57:
50:
43:
36:
21:
6361:
6360:
6356:
6355:
6354:
6352:
6351:
6350:
6326:Data management
6316:
6315:
6314:
6309:
6236:
6215:
6199:
6164:New Foundations
6111:
6001:
5920:Cardinal number
5903:
5889:
5830:
5714:
5705:
5689:
5684:
5638:
5554:The Joy of Sets
5544:
5531:
5528:
5523:
5522:
5508:
5504:
5497:
5476:
5475:
5471:
5463:
5459:
5451:
5447:
5435:
5431:
5419:
5417:
5415:
5397:
5396:
5392:
5382:
5380:
5378:
5361:
5360:
5356:
5343:
5342:
5338:
5325:
5324:
5320:
5307:
5306:
5302:
5297:
5292:
5291:
5282:
5278:
5252:Square brackets
5250:
5246:
5241:
5198:Formal language
5179:
5135:
5102:
5075:
5041:
5022:
5009:
4994:
4993:
4984:
4978:
4942:
4915:
4872:
4845:
4811:
4784:
4772:
4771:
4744:
4720:
4688:
4664:
4641:
4617:
4605:
4604:
4580:
4561:
4548:
4543:
4542:
4495:
4473:
4444:
4422:
4402:
4380:
4375:
4374:
4339:
4316:
4299:
4283:
4264:
4251:
4243:
4242:
4224:
4218:
4199:
4197:Cartesian power
4190:
4184:
4175:
4172:rule of product
4165:
4159:
4153:
4133:
4127:
4121:
4115:
4100:
4093:
4087:
4070:
4069:
4002:
4001:
3946:
3945:
3884:
3883:
3830:
3821:
3820:
3761:
3756:
3733:
3728:
3704:
3697:
3696:
3641:
3640:
3593:
3584:
3583:
3536:
3531:
3514:
3509:
3491:
3484:
3483:
3448:
3439:
3438:
3397:
3392:
3378:
3373:
3361:
3354:
3353:
3348:
3341:
3326:
3325:
3299:
3298:
3237:
3236:
3206:
3187:
3174:
3154:
3153:
3129:
3110:
3097:
3089:
3088:
3082:
3063:
3062:
3040:
3039:
3024:
3005:
3004:
2946:
2916:
2915:
2869:
2839:
2838:
2808:
2783:
2767:
2751:
2711:
2692:
2679:
2666:
2658:
2657:
2625:
2603:
2584:
2571:
2558:
2536:
2517:
2504:
2491:
2483:
2482:
2473:
2451:
2450:
2429:
2428:
2370:
2340:
2339:
2293:
2263:
2262:
2211:
2186:
2170:
2154:
2135:
2116:
2103:
2090:
2082:
2081:
2070:
2038:
2019:
2006:
1990:
1971:
1952:
1939:
1926:
1918:
1917:
1908:
1900:
1893:
1887:
1865:
1864:
1853:
1814:
1807:
1803:
1779:
1772:
1768:
1767:
1763:
1746:
1745:
1723:
1722:
1642:
1638:
1620:
1601:
1588:
1587:
1583:
1578:
1577:
1557:
1556:
1546:
1542:
1535:
1528:
1527:
1523:
1514:
1510:
1509:
1499:
1495:
1488:
1475:
1474:
1452:
1451:
1424:
1404:
1403:
1368:
1364:
1341:
1340:
1308:
1289:
1288:
1284:
1267:
1266:
1211:
1207:
1183:
1179:
1162:
1161:
1126:
1107:
1106:
1102:
1072:
1068:
1051:
1050:
1014:
995:
994:
990:
985:
984:
965:
964:
936:
935:
912:
911:
908:
900:
826:
825:
764:
763:
693:
692:
625:
624:
622:
589:
576:
547:
534:
516:
503:
498:
497:
471:
452:
439:
420:
401:
388:
380:
379:
370:
367:
310:
268:
265:
186:
178:
174:
159:natural numbers
154:
142:
136:(2, 7, 4, 1, 7)
135:
131:
100:
96:
90:
58:
51:
44:
37:
30:
28:
23:
22:
15:
12:
11:
5:
6359:
6357:
6349:
6348:
6343:
6338:
6333:
6328:
6318:
6317:
6311:
6310:
6308:
6307:
6302:
6300:Thoralf Skolem
6297:
6292:
6287:
6282:
6277:
6272:
6267:
6262:
6257:
6252:
6246:
6244:
6238:
6237:
6235:
6234:
6229:
6224:
6218:
6216:
6214:
6213:
6210:
6204:
6201:
6200:
6198:
6197:
6196:
6195:
6190:
6185:
6184:
6183:
6168:
6167:
6166:
6154:
6153:
6152:
6141:
6140:
6135:
6130:
6125:
6119:
6117:
6113:
6112:
6110:
6109:
6104:
6099:
6094:
6085:
6080:
6075:
6065:
6060:
6059:
6058:
6053:
6048:
6038:
6028:
6023:
6018:
6012:
6010:
6003:
6002:
6000:
5999:
5994:
5989:
5984:
5982:Ordinal number
5979:
5974:
5969:
5964:
5963:
5962:
5957:
5947:
5942:
5937:
5932:
5927:
5917:
5912:
5906:
5904:
5902:
5901:
5898:
5894:
5891:
5890:
5888:
5887:
5882:
5877:
5872:
5867:
5862:
5860:Disjoint union
5857:
5852:
5846:
5840:
5838:
5832:
5831:
5829:
5828:
5827:
5826:
5821:
5810:
5809:
5807:Martin's axiom
5804:
5799:
5794:
5789:
5784:
5779:
5774:
5772:Extensionality
5769:
5768:
5767:
5757:
5752:
5751:
5750:
5745:
5740:
5730:
5724:
5722:
5716:
5715:
5708:
5706:
5704:
5703:
5697:
5695:
5691:
5690:
5685:
5683:
5682:
5675:
5668:
5660:
5654:
5653:
5637:
5636:External links
5634:
5633:
5632:
5615:
5593:
5565:
5547:
5542:
5527:
5524:
5521:
5520:
5509:Steve Awodey,
5502:
5495:
5469:
5457:
5445:
5429:
5413:
5390:
5376:
5354:
5349:Stack Overflow
5336:
5318:
5299:
5298:
5296:
5293:
5290:
5289:
5276:
5243:
5242:
5240:
5237:
5236:
5235:
5230:
5225:
5220:
5215:
5206:
5200:
5195:
5190:
5185:
5178:
5175:
5167:
5166:
5155:
5151:
5147:
5142:
5138:
5134:
5130:
5127:
5124:
5121:
5118:
5114:
5109:
5105:
5101:
5097:
5094:
5091:
5087:
5082:
5078:
5074:
5070:
5066:
5063:
5060:
5056:
5053:
5048:
5044:
5040:
5037:
5034:
5029:
5025:
5021:
5016:
5012:
5008:
5005:
5001:
4975:
4974:
4962:
4958:
4953:
4947:
4941:
4937:
4934:
4931:
4927:
4922:
4918:
4914:
4910:
4904:
4901:
4895:
4892:
4888:
4883:
4877:
4871:
4867:
4864:
4861:
4857:
4852:
4848:
4844:
4840:
4834:
4831:
4827:
4822:
4816:
4810:
4806:
4803:
4800:
4796:
4791:
4787:
4783:
4779:
4765:
4764:
4751:
4747:
4743:
4740:
4736:
4731:
4725:
4719:
4715:
4709:
4706:
4700:
4695:
4691:
4687:
4684:
4680:
4675:
4669:
4663:
4659:
4653:
4648:
4644:
4640:
4637:
4633:
4628:
4622:
4616:
4612:
4587:
4583:
4579:
4576:
4573:
4568:
4564:
4560:
4555:
4551:
4520:
4519:
4506:
4500:
4494:
4491:
4488:
4485:
4480:
4476:
4469:
4466:
4460:
4455:
4449:
4443:
4440:
4437:
4434:
4429:
4425:
4418:
4413:
4407:
4401:
4398:
4395:
4392:
4387:
4383:
4364:
4363:
4350:
4344:
4338:
4335:
4332:
4327:
4321:
4315:
4310:
4304:
4298:
4295:
4290:
4286:
4282:
4279:
4276:
4271:
4267:
4263:
4258:
4254:
4250:
4220:Main article:
4217:
4214:
4158:-tuples of an
4099:
4085:
4084:
4083:
4068:
4065:
4062:
4059:
4056:
4053:
4050:
4047:
4044:
4041:
4038:
4035:
4032:
4029:
4026:
4023:
4020:
4017:
4014:
4011:
4008:
4003:
4000:
3997:
3994:
3991:
3988:
3985:
3982:
3979:
3976:
3973:
3970:
3967:
3964:
3961:
3958:
3955:
3952:
3947:
3944:
3941:
3938:
3935:
3932:
3929:
3926:
3923:
3920:
3917:
3914:
3911:
3908:
3905:
3902:
3899:
3896:
3893:
3890:
3885:
3882:
3879:
3876:
3873:
3870:
3867:
3864:
3861:
3858:
3855:
3852:
3849:
3846:
3843:
3840:
3837:
3834:
3831:
3829:
3826:
3822:
3819:
3816:
3813:
3810:
3807:
3804:
3801:
3798:
3795:
3792:
3789:
3786:
3783:
3780:
3777:
3774:
3771:
3768:
3765:
3762:
3760:
3757:
3755:
3752:
3749:
3746:
3743:
3740:
3737:
3734:
3732:
3729:
3727:
3724:
3721:
3718:
3715:
3712:
3709:
3706:
3705:
3698:
3695:
3692:
3689:
3686:
3683:
3680:
3677:
3674:
3671:
3668:
3665:
3662:
3659:
3656:
3653:
3650:
3647:
3642:
3639:
3636:
3633:
3630:
3627:
3624:
3621:
3618:
3615:
3612:
3609:
3606:
3603:
3600:
3597:
3594:
3592:
3589:
3585:
3582:
3579:
3576:
3573:
3570:
3567:
3564:
3561:
3558:
3555:
3552:
3549:
3546:
3543:
3540:
3537:
3535:
3532:
3530:
3527:
3524:
3521:
3518:
3515:
3513:
3510:
3508:
3505:
3502:
3499:
3496:
3493:
3492:
3485:
3482:
3479:
3476:
3473:
3470:
3467:
3464:
3461:
3458:
3455:
3452:
3449:
3447:
3444:
3440:
3437:
3434:
3431:
3428:
3425:
3422:
3419:
3416:
3413:
3410:
3407:
3404:
3401:
3398:
3396:
3393:
3391:
3388:
3385:
3382:
3379:
3377:
3374:
3372:
3369:
3366:
3363:
3362:
3355:
3352:
3349:
3347:
3344:
3340:
3337:
3334:
3333:
3319:
3318:
3306:
3286:
3283:
3280:
3277:
3274:
3271:
3268:
3265:
3262:
3259:
3256:
3253:
3250:
3247:
3244:
3224:
3221:
3218:
3213:
3209:
3205:
3202:
3199:
3194:
3190:
3186:
3181:
3177:
3173:
3170:
3167:
3164:
3161:
3141:
3136:
3132:
3128:
3125:
3122:
3117:
3113:
3109:
3104:
3100:
3096:
3070:
3059:
3047:
3023:
3020:
3019:
3018:
3003:
3000:
2997:
2994:
2991:
2988:
2985:
2982:
2979:
2976:
2973:
2970:
2967:
2964:
2961:
2958:
2955:
2952:
2949:
2947:
2945:
2942:
2939:
2936:
2933:
2930:
2927:
2924:
2921:
2918:
2917:
2914:
2911:
2908:
2905:
2902:
2899:
2896:
2893:
2890:
2887:
2884:
2881:
2878:
2875:
2872:
2870:
2868:
2865:
2862:
2859:
2856:
2853:
2850:
2847:
2846:
2832:
2831:
2820:
2815:
2811:
2807:
2804:
2801:
2798:
2795:
2790:
2786:
2782:
2779:
2774:
2770:
2766:
2763:
2758:
2754:
2750:
2747:
2744:
2741:
2738:
2735:
2732:
2729:
2726:
2723:
2718:
2714:
2710:
2707:
2704:
2699:
2695:
2691:
2686:
2682:
2678:
2673:
2669:
2665:
2651:
2650:
2649:
2648:
2637:
2632:
2628:
2624:
2621:
2616:
2613:
2610:
2606:
2602:
2599:
2596:
2591:
2587:
2583:
2578:
2574:
2570:
2565:
2561:
2557:
2554:
2551:
2548:
2543:
2539:
2535:
2532:
2529:
2524:
2520:
2516:
2511:
2507:
2503:
2498:
2494:
2490:
2470:
2458:
2443:
2442:
2427:
2424:
2421:
2418:
2415:
2412:
2409:
2406:
2403:
2400:
2397:
2394:
2391:
2388:
2385:
2382:
2379:
2376:
2373:
2371:
2369:
2366:
2363:
2360:
2357:
2354:
2351:
2348:
2345:
2342:
2341:
2338:
2335:
2332:
2329:
2326:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2296:
2294:
2292:
2289:
2286:
2283:
2280:
2277:
2274:
2271:
2270:
2256:
2255:
2244:
2241:
2238:
2235:
2232:
2229:
2226:
2223:
2218:
2214:
2210:
2207:
2204:
2201:
2198:
2193:
2189:
2185:
2182:
2177:
2173:
2169:
2166:
2161:
2157:
2153:
2150:
2147:
2142:
2138:
2134:
2131:
2128:
2123:
2119:
2115:
2110:
2106:
2102:
2097:
2093:
2089:
2067:
2066:
2065:
2064:
2053:
2050:
2045:
2041:
2037:
2034:
2031:
2026:
2022:
2018:
2013:
2009:
2005:
2002:
1997:
1993:
1989:
1986:
1983:
1978:
1974:
1970:
1967:
1964:
1959:
1955:
1951:
1946:
1942:
1938:
1933:
1929:
1925:
1884:
1872:
1852:
1849:
1848:
1847:
1836:
1832:
1827:
1821:
1817:
1813:
1810:
1806:
1802:
1799:
1796:
1792:
1786:
1782:
1778:
1775:
1771:
1766:
1759:
1753:
1730:
1715:
1714:
1707:
1706:
1694:
1690:
1687:
1684:
1681:
1678:
1675:
1672:
1669:
1666:
1663:
1660:
1657:
1654:
1651:
1648:
1645:
1641:
1637:
1633:
1627:
1623:
1619:
1616:
1613:
1608:
1604:
1600:
1595:
1591:
1586:
1571:
1570:
1553:
1549:
1544:
1541:
1538:
1536:
1533:
1530:
1529:
1525:
1522:
1517:
1515:
1512:
1511:
1506:
1502:
1497:
1494:
1491:
1489:
1486:
1483:
1482:
1459:
1448:
1447:
1436:
1431:
1427:
1423:
1420:
1417:
1414:
1411:
1387:
1383:
1380:
1377:
1374:
1371:
1367:
1363:
1360:
1357:
1354:
1351:
1348:
1337:
1336:
1325:
1321:
1315:
1311:
1307:
1304:
1301:
1296:
1292:
1287:
1283:
1280:
1277:
1274:
1257:
1256:
1244:
1240:
1237:
1234:
1231:
1228:
1225:
1221:
1217:
1214:
1210:
1206:
1202:
1198:
1195:
1192:
1189:
1186:
1182:
1178:
1175:
1172:
1169:
1152:
1151:
1139:
1133:
1129:
1125:
1122:
1119:
1114:
1110:
1105:
1098:
1091:
1087:
1084:
1081:
1078:
1075:
1071:
1064:
1058:
1027:
1021:
1017:
1013:
1010:
1007:
1002:
998:
993:
972:
952:
949:
946:
943:
932:empty function
919:
907:
904:
899:
896:
895:
894:
887:
875:
872:
869:
866:
863:
860:
857:
854:
851:
848:
845:
842:
839:
836:
833:
813:
810:
807:
804:
801:
798:
795:
792:
789:
786:
783:
780:
777:
774:
771:
760:
748:
745:
742:
739:
736:
733:
730:
727:
724:
721:
718:
715:
712:
709:
706:
703:
700:
680:
677:
674:
671:
668:
665:
662:
659:
656:
653:
650:
647:
644:
641:
638:
635:
632:
611:
610:
596:
592:
588:
583:
579:
570:
567:
559:
554:
550:
546:
541:
537:
528:
523:
519:
515:
510:
506:
495:if and only if
483:
478:
474:
470:
467:
464:
459:
455:
451:
446:
442:
438:
435:
432:
427:
423:
419:
416:
413:
408:
404:
400:
395:
391:
387:
366:
363:
348:medieval Latin
321:complex number
309:). The number
264:
261:
169:starting from
95:is a tuple of
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
6358:
6347:
6344:
6342:
6339:
6337:
6334:
6332:
6329:
6327:
6324:
6323:
6321:
6306:
6305:Ernst Zermelo
6303:
6301:
6298:
6296:
6293:
6291:
6290:Willard Quine
6288:
6286:
6283:
6281:
6278:
6276:
6273:
6271:
6268:
6266:
6263:
6261:
6258:
6256:
6253:
6251:
6248:
6247:
6245:
6243:
6242:Set theorists
6239:
6233:
6230:
6228:
6225:
6223:
6220:
6219:
6217:
6211:
6209:
6206:
6205:
6202:
6194:
6191:
6189:
6188:KripkeâPlatek
6186:
6182:
6179:
6178:
6177:
6174:
6173:
6172:
6169:
6165:
6162:
6161:
6160:
6159:
6155:
6151:
6148:
6147:
6146:
6143:
6142:
6139:
6136:
6134:
6131:
6129:
6126:
6124:
6121:
6120:
6118:
6114:
6108:
6105:
6103:
6100:
6098:
6095:
6093:
6091:
6086:
6084:
6081:
6079:
6076:
6073:
6069:
6066:
6064:
6061:
6057:
6054:
6052:
6049:
6047:
6044:
6043:
6042:
6039:
6036:
6032:
6029:
6027:
6024:
6022:
6019:
6017:
6014:
6013:
6011:
6008:
6004:
5998:
5995:
5993:
5990:
5988:
5985:
5983:
5980:
5978:
5975:
5973:
5970:
5968:
5965:
5961:
5958:
5956:
5953:
5952:
5951:
5948:
5946:
5943:
5941:
5938:
5936:
5933:
5931:
5928:
5925:
5921:
5918:
5916:
5913:
5911:
5908:
5907:
5905:
5899:
5896:
5895:
5892:
5886:
5883:
5881:
5878:
5876:
5873:
5871:
5868:
5866:
5863:
5861:
5858:
5856:
5853:
5850:
5847:
5845:
5842:
5841:
5839:
5837:
5833:
5825:
5824:specification
5822:
5820:
5817:
5816:
5815:
5812:
5811:
5808:
5805:
5803:
5800:
5798:
5795:
5793:
5790:
5788:
5785:
5783:
5780:
5778:
5775:
5773:
5770:
5766:
5763:
5762:
5761:
5758:
5756:
5753:
5749:
5746:
5744:
5741:
5739:
5736:
5735:
5734:
5731:
5729:
5726:
5725:
5723:
5721:
5717:
5712:
5702:
5699:
5698:
5696:
5692:
5688:
5681:
5676:
5674:
5669:
5667:
5662:
5661:
5658:
5652:at Wiktionary
5651:
5650:
5644:
5640:
5639:
5635:
5631:, pp. 182â193
5630:
5626:
5622:
5621:
5616:
5613:
5609:
5605:
5601:
5597:
5596:Gaisi Takeuti
5594:
5591:
5590:0-7204-2270-1
5587:
5583:
5582:
5577:
5573:
5569:
5566:
5563:
5562:0-387-94094-4
5559:
5555:
5551:
5548:
5545:
5539:
5535:
5530:
5529:
5525:
5518:
5514:
5513:
5506:
5503:
5498:
5496:0-262-16209-1
5492:
5488:
5483:
5482:
5473:
5470:
5467:, p. 101
5466:
5461:
5458:
5454:
5449:
5446:
5442:
5438:
5433:
5430:
5426:
5416:
5414:9780198735304
5410:
5406:
5405:
5400:
5394:
5391:
5379:
5377:9780199202720
5373:
5369:
5365:
5358:
5355:
5350:
5346:
5340:
5337:
5332:
5328:
5322:
5319:
5314:
5310:
5304:
5301:
5294:
5286:
5280:
5277:
5273:
5269:
5266:are used for
5265:
5261:
5257:
5254:are used for
5253:
5248:
5245:
5238:
5234:
5231:
5229:
5226:
5224:
5221:
5219:
5216:
5214:
5212:
5207:
5204:
5201:
5199:
5196:
5194:
5191:
5189:
5186:
5184:
5181:
5180:
5176:
5174:
5172:
5140:
5136:
5125:
5122:
5119:
5107:
5103:
5092:
5080:
5076:
5061:
5046:
5042:
5038:
5035:
5032:
5027:
5023:
5019:
5014:
5010:
4992:
4991:
4990:
4987:
4981:
4951:
4932:
4920:
4916:
4902:
4899:
4893:
4881:
4862:
4850:
4846:
4832:
4820:
4801:
4789:
4785:
4770:
4769:
4768:
4749:
4745:
4741:
4729:
4707:
4704:
4698:
4693:
4689:
4685:
4673:
4651:
4646:
4642:
4638:
4626:
4603:
4602:
4601:
4585:
4581:
4577:
4574:
4571:
4566:
4562:
4558:
4553:
4549:
4540:
4535:
4533:
4529:
4525:
4504:
4492:
4486:
4478:
4474:
4467:
4464:
4458:
4453:
4441:
4435:
4427:
4423:
4416:
4411:
4399:
4393:
4385:
4381:
4373:
4372:
4371:
4369:
4348:
4336:
4333:
4330:
4325:
4313:
4308:
4296:
4288:
4284:
4280:
4277:
4274:
4269:
4265:
4261:
4256:
4252:
4241:
4240:
4239:
4237:
4233:
4229:
4223:
4215:
4213:
4210:
4206:
4202:
4198:
4193:
4187:
4183:
4178:
4173:
4168:
4162:
4156:
4151:
4147:
4146:
4141:
4136:
4130:
4124:
4118:
4113:
4109:
4108:combinatorics
4106:, especially
4105:
4096:
4090:
4086:
4060:
4057:
4048:
4045:
4036:
4033:
4024:
3998:
3986:
3983:
3974:
3942:
3930:
3927:
3918:
3915:
3906:
3880:
3868:
3865:
3856:
3827:
3811:
3808:
3802:
3799:
3796:
3787:
3778:
3775:
3772:
3758:
3753:
3744:
3741:
3738:
3730:
3722:
3719:
3716:
3713:
3710:
3687:
3684:
3675:
3672:
3663:
3637:
3625:
3622:
3613:
3590:
3574:
3571:
3565:
3556:
3547:
3533:
3528:
3519:
3511:
3503:
3500:
3497:
3474:
3471:
3462:
3445:
3429:
3426:
3414:
3394:
3389:
3375:
3367:
3345:
3324:
3323:
3322:
3278:
3275:
3272:
3266:
3260:
3251:
3248:
3242:
3219:
3216:
3211:
3207:
3203:
3200:
3197:
3192:
3188:
3184:
3179:
3175:
3168:
3165:
3159:
3134:
3130:
3126:
3123:
3120:
3115:
3111:
3107:
3102:
3098:
3085:
3068:
3060:
3037:
3036:
3035:
3033:
3029:
3021:
2998:
2995:
2989:
2986:
2980:
2977:
2971:
2968:
2950:
2948:
2940:
2937:
2934:
2931:
2928:
2925:
2922:
2909:
2906:
2900:
2897:
2891:
2888:
2873:
2871:
2863:
2860:
2857:
2854:
2851:
2837:
2836:
2835:
2813:
2809:
2805:
2799:
2796:
2788:
2784:
2780:
2772:
2768:
2764:
2756:
2752:
2748:
2733:
2724:
2716:
2712:
2708:
2705:
2702:
2697:
2693:
2689:
2684:
2680:
2676:
2671:
2667:
2656:
2655:
2654:
2630:
2626:
2622:
2614:
2611:
2608:
2604:
2600:
2597:
2594:
2589:
2585:
2581:
2576:
2572:
2568:
2563:
2559:
2549:
2541:
2537:
2533:
2530:
2527:
2522:
2518:
2514:
2509:
2505:
2501:
2496:
2492:
2481:
2480:
2476:
2471:
2448:
2447:
2446:
2410:
2407:
2401:
2398:
2392:
2389:
2383:
2380:
2374:
2372:
2364:
2361:
2358:
2355:
2352:
2349:
2346:
2324:
2321:
2315:
2312:
2306:
2303:
2297:
2295:
2287:
2284:
2281:
2278:
2275:
2261:
2260:
2259:
2230:
2221:
2216:
2212:
2205:
2202:
2196:
2191:
2187:
2180:
2175:
2171:
2164:
2159:
2155:
2148:
2140:
2136:
2132:
2129:
2126:
2121:
2117:
2113:
2108:
2104:
2100:
2095:
2091:
2080:
2079:
2078:
2074:
2043:
2039:
2035:
2032:
2029:
2024:
2020:
2016:
2011:
2007:
2000:
1995:
1991:
1984:
1976:
1972:
1968:
1965:
1962:
1957:
1953:
1949:
1944:
1940:
1936:
1931:
1927:
1916:
1915:
1911:
1904:
1896:
1892:-tuple, with
1890:
1885:
1862:
1861:
1860:
1858:
1857:ordered pairs
1850:
1834:
1830:
1825:
1819:
1815:
1811:
1808:
1804:
1800:
1797:
1794:
1790:
1784:
1780:
1776:
1773:
1769:
1764:
1757:
1751:
1744:
1743:
1742:
1728:
1720:
1712:
1711:
1710:
1692:
1685:
1679:
1676:
1673:
1670:
1664:
1658:
1655:
1649:
1643:
1639:
1635:
1631:
1625:
1621:
1617:
1614:
1611:
1606:
1602:
1598:
1593:
1589:
1584:
1576:
1575:
1574:
1551:
1547:
1537:
1531:
1520:
1516:
1504:
1500:
1490:
1484:
1473:
1472:
1471:
1457:
1434:
1429:
1425:
1421:
1415:
1409:
1402:
1401:
1400:
1385:
1381:
1378:
1375:
1372:
1369:
1365:
1361:
1358:
1355:
1352:
1349:
1346:
1323:
1319:
1313:
1309:
1305:
1302:
1299:
1294:
1290:
1285:
1281:
1278:
1275:
1272:
1265:
1264:
1263:
1262:
1242:
1238:
1235:
1232:
1229:
1226:
1223:
1215:
1212:
1208:
1204:
1200:
1196:
1193:
1190:
1187:
1184:
1180:
1176:
1173:
1170:
1167:
1160:
1159:
1158:
1157:
1137:
1131:
1127:
1123:
1120:
1117:
1112:
1108:
1103:
1089:
1085:
1082:
1079:
1076:
1073:
1069:
1062:
1056:
1049:
1048:
1047:
1046:
1042:
1025:
1019:
1015:
1011:
1008:
1005:
1000:
996:
991:
970:
950:
947:
944:
941:
933:
917:
905:
903:
897:
892:
888:
870:
867:
864:
861:
858:
852:
846:
843:
840:
837:
834:
808:
805:
802:
799:
796:
790:
784:
781:
778:
775:
772:
761:
743:
740:
737:
734:
731:
725:
719:
716:
713:
710:
707:
704:
701:
675:
672:
669:
666:
663:
657:
651:
648:
645:
642:
639:
636:
633:
620:
619:
618:
616:
594:
590:
586:
581:
577:
568:
565:
557:
552:
548:
544:
539:
535:
526:
521:
517:
513:
508:
504:
496:
476:
472:
468:
465:
462:
457:
453:
449:
444:
440:
433:
425:
421:
417:
414:
411:
406:
402:
398:
393:
389:
378:
377:
376:
373:
364:
362:
360:
356:
352:
349:
345:
341:
336:
334:
330:
326:
322:
318:
313:
308:
304:
300:
296:
292:
288:
284:
280:
276:
271:
262:
260:
258:
254:
250:
246:
242:
237:
235:
232:(records) as
231:
227:
223:
219:
215:
211:
207:
203:
202:product types
199:
195:
190:
182:
173:; indeed, an
172:
171:ordered pairs
168:
164:
160:
152:
148:
139:
128:
126:
122:
118:
114:
110:
106:
94:
87:
83:
79:
75:
71:
67:
63:
55:
48:
41:
40:Octuple scull
34:
19:
6255:Georg Cantor
6250:Paul Bernays
6181:MorseâKelley
6156:
6089:
6088:Subset
6035:hereditarily
5997:Venn diagram
5959:
5955:ordered pair
5870:Intersection
5814:Axiom schema
5648:
5618:
5599:
5579:
5553:
5550:Keith Devlin
5533:
5511:
5505:
5480:
5472:
5460:
5448:
5440:
5436:
5432:
5424:
5418:. Retrieved
5403:
5393:
5381:. Retrieved
5367:
5357:
5348:
5339:
5331:MDN Web Docs
5330:
5321:
5312:
5303:
5279:
5258:, including
5247:
5210:
5168:
4985:
4979:
4976:
4766:
4536:
4521:
4365:
4236:product type
4225:
4222:Product type
4208:
4204:
4200:
4191:
4185:
4176:
4166:
4160:
4154:
4149:
4143:
4139:
4134:
4128:
4122:
4116:
4101:
4094:
4088:
3320:
3083:
3025:
2833:
2652:
2474:
2444:
2257:
2072:
2068:
1909:
1902:
1894:
1888:
1854:
1716:
1708:
1572:
1449:
1338:
1258:
1153:
909:
901:
612:
371:
368:
358:
350:
343:
339:
337:
311:
306:
302:
298:
295:ordered pair
294:
290:
286:
282:
278:
269:
266:
245:semantic web
238:
233:
218:record types
191:
189:th element.
180:
140:
129:
124:
120:
117:ordered pair
108:
89:
85:
74:ordered list
73:
68:is a finite
65:
59:
6346:Type theory
6280:Thomas Jech
6123:Alternative
6102:Uncountable
6056:Ultrafilter
5915:Cardinality
5819:replacement
5760:Determinacy
5602:, Springer
5576:Azriel LĂ©vy
5455:, p. 9
5260:row vectors
5233:Tuple Names
4528:record type
4368:projections
4228:type theory
4216:Type theory
4182:cardinality
4110:and finite
4092:-tuples of
898:Definitions
375:-tuples is
283:empty tuple
253:linguistics
109:empty tuple
62:mathematics
6320:Categories
6275:Kurt Gödel
6260:Paul Cohen
6097:Transitive
5865:Identities
5849:Complement
5836:Operations
5797:Regularity
5765:projective
5728:Adjunction
5687:Set theory
5420:2017-06-30
5295:References
5228:Tuplespace
3152:, and let
3032:set theory
1041:surjective
824:, but set
691:; but set
365:Properties
325:quaternion
279:null tuple
257:philosophy
251:(RDF); in
167:recurrence
6208:Paradoxes
6128:Axiomatic
6107:Universal
6083:Singleton
6078:Recursive
6021:Countable
6016:Amorphous
5875:Power set
5792:Power set
5743:dependent
5738:countable
5606:1, 1971,
5564:, pp. 7â8
5364:"Nâtuple"
5171:unit type
5123:…
5036:…
4933:∈
4900:…
4863:∈
4802:∈
4705:…
4575:…
4475:π
4465:…
4424:π
4382:π
4337:×
4334:…
4331:×
4314:×
4278:…
4031:∅
4019:∅
3981:∅
3969:∅
3913:∅
3901:∅
3863:∅
3851:∅
3751:→
3670:∅
3658:∅
3620:∅
3608:∅
3526:→
3469:∅
3457:∅
3387:→
3351:∅
3305:→
3252:≡
3246:→
3201:…
3169:≡
3163:→
3124:…
3046:∅
2966:∅
2886:∅
2800:…
2746:∅
2734:…
2706:…
2612:−
2598:…
2531:…
2457:∅
2414:∅
2328:∅
2231:…
2225:∅
2203:…
2130:…
2033:…
1966:…
1871:∅
1798:…
1674:…
1615:…
1540:↦
1521:⋮
1493:↦
1450:That is,
1376:…
1356:
1350:∈
1303:…
1276:
1259:and with
1236:≤
1230:≤
1216:∈
1191:…
1171:
1121:…
1097:→
1080:…
1009:…
945:≥
791:≠
658:≠
566:…
466:…
415:…
291:singleton
263:Etymology
255:; and in
247:with the
222:C structs
113:singleton
6212:Problems
6116:Theories
6092:Superset
6068:Infinite
5897:Concepts
5777:Infinity
5694:Overview
5517:preprint
5515:, 2009,
5256:matrices
5223:Sequence
5177:See also
4366:and the
4164:-set is
3235:. Then,
2077:-tuple:
1273:codomain
1261:codomain
1045:function
891:multiset
333:sedenion
329:octonion
151:function
86:elements
70:sequence
6150:General
6145:Zermelo
6051:subbase
6033: (
5972:Forcing
5950:Element
5922: (
5900:Methods
5787:Pairing
5614:, p. 14
5592:, p. 33
5526:Sources
5270:. Each
3087:-tuple
1912:> 1)
983:-tuple
317:integer
307:triplet
161:as its
115:and an
105:integer
78:numbers
18:Octuple
6041:Filter
6031:Finite
5967:Family
5910:Almost
5748:global
5733:Choice
5720:Axioms
5627:
5610:
5588:
5560:
5540:
5493:
5489:â132.
5411:
5374:
5285:ploidy
5264:Braces
5213:-tuple
5209:Prime
5205:(OLAP)
4906:
4897:
4836:
4711:
4702:
4655:
4526:has a
4471:
4462:
4420:
4207:à ⯠Ă
4195:-fold
3081:be an
3026:Using
2477:> 0
1897:> 0
1761:
1755:
1719:graphs
1353:domain
1168:domain
1156:domain
1100:
1094:
1066:
1060:
934:. For
623:tuple
573:
562:
531:
303:triple
299:couple
287:single
234:tuples
212:, and
163:domain
157:first
93:-tuple
33:Tuplet
6133:Naive
6063:Fuzzy
6026:Empty
6009:types
5960:tuple
5930:Class
5924:large
5885:Union
5802:Union
5649:tuple
5383:1 May
5239:Notes
5183:Arity
4539:model
4174:. If
4098:-sets
1154:with
359:âplex
355:Greek
340:âuple
275:Latin
149:of a
147:image
66:tuple
6046:base
5625:ISBN
5608:ISBN
5586:ISBN
5558:ISBN
5538:ISBN
5491:ISBN
5441:s.v.
5409:ISBN
5385:2015
5372:ISBN
5268:sets
5169:The
4977:The
3061:Let
2472:For
2075:â 1)
1905:â 1)
963:the
910:The
351:plus
344:âple
305:(or
289:(or
230:rows
183:â 1)
64:, a
6007:Set
5604:GTM
5487:126
5437:OED
4226:In
4102:In
1886:An
1399:by
615:set
297:or
281:or
192:In
141:An
132:( )
76:of
72:or
60:In
6322::
5578:,
5574:,
5570:,
5552:,
5439:,
5423:.
5366:.
5347:.
5329:.
5311:.
5262:.
4534:.
4203:Ă
4142:,
4126:.
4114:,
3034::
2479::
1914::
1758::=
1422::=
1043:)
617::
259:.
236:.
208:,
127:.
6090:·
6074:)
6070:(
6037:)
5926:)
5679:e
5672:t
5665:v
5499:.
5387:.
5351:.
5315:.
5211:k
5154:)
5150:]
5146:]
5141:n
5137:x
5133:[
5129:[
5126:,
5120:,
5117:]
5113:]
5108:2
5104:x
5100:[
5096:[
5093:,
5090:]
5086:]
5081:1
5077:x
5073:[
5069:[
5065:(
5062:=
5059:]
5055:]
5052:)
5047:n
5043:x
5039:,
5033:,
5028:2
5024:x
5020:,
5015:1
5011:x
5007:(
5004:[
5000:[
4986:n
4980:n
4973:.
4961:]
4957:]
4952:n
4946:T
4940:[
4936:[
4930:]
4926:]
4921:n
4917:x
4913:[
4909:[
4903:,
4894:,
4891:]
4887:]
4882:2
4876:T
4870:[
4866:[
4860:]
4856:]
4851:2
4847:x
4843:[
4839:[
4833:,
4830:]
4826:]
4821:1
4815:T
4809:[
4805:[
4799:]
4795:]
4790:1
4786:x
4782:[
4778:[
4750:n
4746:S
4742:=
4739:]
4735:]
4730:n
4724:T
4718:[
4714:[
4708:,
4699:,
4694:2
4690:S
4686:=
4683:]
4679:]
4674:2
4668:T
4662:[
4658:[
4652:,
4647:1
4643:S
4639:=
4636:]
4632:]
4627:1
4621:T
4615:[
4611:[
4586:n
4582:S
4578:,
4572:,
4567:2
4563:S
4559:,
4554:1
4550:S
4505:n
4499:T
4493::
4490:)
4487:x
4484:(
4479:n
4468:,
4459:,
4454:2
4448:T
4442::
4439:)
4436:x
4433:(
4428:2
4417:,
4412:1
4406:T
4400::
4397:)
4394:x
4391:(
4386:1
4349:n
4343:T
4326:2
4320:T
4309:1
4303:T
4297::
4294:)
4289:n
4285:x
4281:,
4275:,
4270:2
4266:x
4262:,
4257:1
4253:x
4249:(
4209:S
4205:S
4201:S
4192:n
4186:m
4177:S
4167:m
4161:m
4155:n
4135:m
4129:n
4123:n
4117:n
4095:m
4089:n
4067:}
4064:}
4061:3
4058:,
4055:}
4052:}
4049:2
4046:,
4043:}
4040:}
4037:1
4034:,
4028:{
4025:,
4022:}
4016:{
4013:{
4010:{
3999:,
3996:}
3993:}
3990:}
3987:1
3984:,
3978:{
3975:,
3972:}
3966:{
3963:{
3960:{
3957:{
3954:{
3943:,
3940:}
3937:}
3934:}
3931:2
3928:,
3925:}
3922:}
3919:1
3916:,
3910:{
3907:,
3904:}
3898:{
3895:{
3892:{
3881:,
3878:}
3875:}
3872:}
3869:1
3866:,
3860:{
3857:,
3854:}
3848:{
3845:{
3842:{
3839:{
3836:{
3833:{
3828:=
3818:}
3815:}
3812:3
3809:,
3806:)
3803:2
3800:,
3797:1
3794:(
3791:{
3788:,
3785:}
3782:)
3779:2
3776:,
3773:1
3770:(
3767:{
3764:{
3759:=
3754:3
3748:)
3745:2
3742:,
3739:1
3736:(
3731:=
3726:)
3723:3
3720:,
3717:2
3714:,
3711:1
3708:(
3694:}
3691:}
3688:2
3685:,
3682:}
3679:}
3676:1
3673:,
3667:{
3664:,
3661:}
3655:{
3652:{
3649:{
3638:,
3635:}
3632:}
3629:}
3626:1
3623:,
3617:{
3614:,
3611:}
3605:{
3602:{
3599:{
3596:{
3591:=
3581:}
3578:}
3575:2
3572:,
3569:)
3566:1
3563:(
3560:{
3557:,
3554:}
3551:)
3548:1
3545:(
3542:{
3539:{
3534:=
3529:2
3523:)
3520:1
3517:(
3512:=
3507:)
3504:2
3501:,
3498:1
3495:(
3481:}
3478:}
3475:1
3472:,
3466:{
3463:,
3460:}
3454:{
3451:{
3446:=
3436:}
3433:}
3430:1
3427:,
3424:)
3421:(
3418:{
3415:,
3412:}
3409:)
3406:(
3403:{
3400:{
3395:=
3390:1
3384:)
3381:(
3376:=
3371:)
3368:1
3365:(
3346:=
3339:)
3336:(
3285:}
3282:}
3279:b
3276:,
3273:x
3270:{
3267:,
3264:}
3261:x
3258:{
3255:{
3249:b
3243:x
3223:)
3220:b
3217:,
3212:n
3208:a
3204:,
3198:,
3193:2
3189:a
3185:,
3180:1
3176:a
3172:(
3166:b
3160:x
3140:)
3135:n
3131:a
3127:,
3121:,
3116:2
3112:a
3108:,
3103:1
3099:a
3095:(
3084:n
3069:x
3058:;
3002:)
2999:4
2996:,
2993:)
2990:3
2987:,
2984:)
2981:2
2978:,
2975:)
2972:1
2969:,
2963:(
2960:(
2957:(
2954:(
2951:=
2944:)
2941:4
2938:,
2935:3
2932:,
2929:2
2926:,
2923:1
2920:(
2913:)
2910:3
2907:,
2904:)
2901:2
2898:,
2895:)
2892:1
2889:,
2883:(
2880:(
2877:(
2874:=
2867:)
2864:3
2861:,
2858:2
2855:,
2852:1
2849:(
2819:)
2814:n
2810:a
2806:,
2803:)
2797:,
2794:)
2789:3
2785:a
2781:,
2778:)
2773:2
2769:a
2765:,
2762:)
2757:1
2753:a
2749:,
2743:(
2740:(
2737:(
2731:(
2728:(
2725:=
2722:)
2717:n
2713:a
2709:,
2703:,
2698:3
2694:a
2690:,
2685:2
2681:a
2677:,
2672:1
2668:a
2664:(
2636:)
2631:n
2627:a
2623:,
2620:)
2615:1
2609:n
2605:a
2601:,
2595:,
2590:3
2586:a
2582:,
2577:2
2573:a
2569:,
2564:1
2560:a
2556:(
2553:(
2550:=
2547:)
2542:n
2538:a
2534:,
2528:,
2523:3
2519:a
2515:,
2510:2
2506:a
2502:,
2497:1
2493:a
2489:(
2475:n
2469:.
2426:)
2423:)
2420:)
2417:)
2411:,
2408:4
2405:(
2402:,
2399:3
2396:(
2393:,
2390:2
2387:(
2384:,
2381:1
2378:(
2375:=
2368:)
2365:4
2362:,
2359:3
2356:,
2353:2
2350:,
2347:1
2344:(
2337:)
2334:)
2331:)
2325:,
2322:3
2319:(
2316:,
2313:2
2310:(
2307:,
2304:1
2301:(
2298:=
2291:)
2288:3
2285:,
2282:2
2279:,
2276:1
2273:(
2243:)
2240:)
2237:)
2234:)
2228:)
2222:,
2217:n
2213:a
2209:(
2206:,
2200:(
2197:,
2192:3
2188:a
2184:(
2181:,
2176:2
2172:a
2168:(
2165:,
2160:1
2156:a
2152:(
2149:=
2146:)
2141:n
2137:a
2133:,
2127:,
2122:3
2118:a
2114:,
2109:2
2105:a
2101:,
2096:1
2092:a
2088:(
2073:n
2071:(
2052:)
2049:)
2044:n
2040:a
2036:,
2030:,
2025:3
2021:a
2017:,
2012:2
2008:a
2004:(
2001:,
1996:1
1992:a
1988:(
1985:=
1982:)
1977:n
1973:a
1969:,
1963:,
1958:3
1954:a
1950:,
1945:2
1941:a
1937:,
1932:1
1928:a
1924:(
1910:n
1903:n
1901:(
1895:n
1889:n
1883:.
1835:.
1831:}
1826:)
1820:n
1816:a
1812:,
1809:n
1805:(
1801:,
1795:,
1791:)
1785:1
1781:a
1777:,
1774:1
1770:(
1765:{
1752:F
1729:F
1693:)
1689:)
1686:n
1683:(
1680:F
1677:,
1671:,
1668:)
1665:2
1662:(
1659:F
1656:,
1653:)
1650:1
1647:(
1644:F
1640:(
1636:=
1632:)
1626:n
1622:a
1618:,
1612:,
1607:2
1603:a
1599:,
1594:1
1590:a
1585:(
1552:n
1548:a
1532:n
1505:1
1501:a
1485:1
1458:F
1435:.
1430:i
1426:a
1419:)
1416:i
1413:(
1410:F
1386:}
1382:n
1379:,
1373:,
1370:1
1366:{
1362:=
1359:F
1347:i
1324:,
1320:}
1314:n
1310:a
1306:,
1300:,
1295:1
1291:a
1286:{
1282:=
1279:F
1243:}
1239:n
1233:i
1227:1
1224::
1220:N
1213:i
1209:{
1205:=
1201:}
1197:n
1194:,
1188:,
1185:1
1181:{
1177:=
1174:F
1138:}
1132:n
1128:a
1124:,
1118:,
1113:1
1109:a
1104:{
1090:}
1086:n
1083:,
1077:,
1074:1
1070:{
1063::
1057:F
1026:)
1020:n
1016:a
1012:,
1006:,
1001:1
997:a
992:(
971:n
951:,
948:1
942:n
918:0
886:.
874:}
871:1
868:,
865:2
862:,
859:3
856:{
853:=
850:}
847:3
844:,
841:2
838:,
835:1
832:{
812:)
809:1
806:,
803:2
800:,
797:3
794:(
788:)
785:3
782:,
779:2
776:,
773:1
770:(
759:.
747:}
744:3
741:,
738:2
735:,
732:1
729:{
726:=
723:}
720:3
717:,
714:2
711:,
708:2
705:,
702:1
699:{
679:)
676:3
673:,
670:2
667:,
664:1
661:(
655:)
652:3
649:,
646:2
643:,
640:2
637:,
634:1
631:(
609:.
595:n
591:b
587:=
582:n
578:a
569:,
558:,
553:2
549:b
545:=
540:2
536:a
527:,
522:1
518:b
514:=
509:1
505:a
482:)
477:n
473:b
469:,
463:,
458:2
454:b
450:,
445:1
441:b
437:(
434:=
431:)
426:n
422:a
418:,
412:,
407:2
403:a
399:,
394:1
390:a
386:(
372:n
312:n
270:n
187:n
181:n
179:(
175:n
155:n
143:n
101:n
97:n
91:n
56:.
49:.
42:.
35:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.