855:(I posed the initial question.) Thanks, this is much better. One often does not read the whole article, and while everyone thinks to know what "smallest" means and thus gets confused, the word "initial" does not have this problem. ... Also, I apologise if I didn't do something quite properly; it's been ages since I last edited Knowledge (not the English one) and I am therefore familiar with neither the written not the unwritten rules. But I guess when one only edits the "talk", one cannot do that much harm. Thanks once more, cheers!
727:
totally ordered set, there being no element of ∅ capable of serving as a bound. On the other hand, if we view these sets as proper subsets of some other totally-ordered superset, then ∅ is not an unbounded set, being bounded by every element of its superset. But in this case whether the natural numbers or integers are bounded depends upon the nature of the total order of their superset. For example if the natural numbers are viewed as an initial segment of some larger ordinal, then they are bounded above.
293:
283:
262:
229:
412:
220:
371:
1775:
546:
formula without a name. Grätzer ("General
Lattice Theory", Birkhäuser, 2003) uses on p.1 the name "linearity" property, and on p.2 "chain" and all of Birkhoff's synonyms. A calculus textbook, Heuser ("Lehrbuch der Analysis 1", B.G.Teubner, 1980, I don't have English ones available) defines on p.36 the notion of
1185:
I have rewritten the section. I have not changed the references, and I left to others to add further references and/or to find a better place, if needed, for the existing ones. I think that this version is much better than the previous one, but feel free for improving it further (and fix my mistakes,
1802:
I expected the section "Strict and non-strict total orders" to contain a definition of a non-strict total order. It currently only defines only strict total orders and then discusses relationship between strict and non-strict total orders. Including a definition would help readers' understandings of
800:
The article states "The rational numbers comprise the smallest totally ordered set which is dense in the real numbers.". I don't think that's true. Smallest in which sense? I think that e.g. rational numbers whose denominators are powers of two are one possible "smaller" dense set (and every subset
677:). So a total order is never a strict total order. The article explains in detail the relationship between the two concepts, namely that there are equivalent (a total order defines a strict total order, a strict total order defines a total order, and these two operations are inverses one to other).
545:
For example, Birkhoff ("Lattice Theory", AMS Colloquium
Publications vol. 25, 1967) defines on p.1 "partial ordered set", naming all three involved properties ("Reflexive", "Antisymmetry", "Transitivity"), on p.2 he defines "simply ordered set" = "totally ordered set" = "chain", showing the connex
733:
Minimally the the word "non-empty" needs to be inserted, which I will do shortly. Beyond that, either the statements in this article should to be revised to make it clear that the sets are being viewed as subsets of themselves, or if it is commonplace in current mathematical discourse to refer to
550:
property. Halmos ("Naive
Mengenlehre", Vandenhoeck&Ruprecht, 1976; German translation of "Naive Set Theory", Nostrand, 1968, I have only the German book) defines in ch.14 on p.72 "reflexive", "anti-symmetric", "transitive" relations, and "total" = "simple" = "linear" "orders", again without
726:
only talks about upper and lower bounds of subsets of an ordered set. If we interpret the above remarks about the natural numbers and integers as statements about these sets as subsets of themselves, then the remarks are not correct. ∅ (viewed as a subset of itself) is the smallest unbounded
570:). However, the adjective "linear" is not a good alternative, since it is associated with vector spaces, and "simple" cannot be associated to anything. I believe I saw "fully ordered set" (as opposed to "partially ordered set") somewhere, but "full" isn't a good adjective either. -
1049:
I have some difficulties for rewriting the section, because it needs to report common usages of a concept that is rarely formally defined. As far as I know, "a chain" refers generally to a set of subsets of a given set, which is totally ordered by inclusion. For example, the
565:
A problem with "connex" is that it is not an adjective, thus often requiring clumsy grammatical constructions in enumerations (e.g. "A relation is trichotomous if, and only if, it is irreflexive, asymmetric, and a semi-connex relation." at
1160:
Davey.Priestley.1990 define "chain" as in 1. (p.3), but use it mostly in the sense of 1.1. (Zorn: p.100, chain-completeness p.5); they use "sequence", not "chain" in the definition of ACC and DCC (p.38), and use 1.1. for Zorn's lemma
823:"Smallest" is defined a few lines above, but is confusing as the definition does not excludes the existence of an strict subset that is order isomorphic (for example, the even integers are order isomorphic to the integers).
1059:
is stated for any ordered set, but most of its applications are for sets (of some specific type) ordered by inclusion. So, the section must mention three main contexts where the term "chain" is used: for stating and using
491:). I am not really happy with these changes since every source I have ever seen that defined the term "total order" used the word "totality" to denote the property that every element is related to every other element. –
1054:
of a commutative ring is the maximal length of chains of prime ideals. It seems that the use of "chain" for other partial orders than inclusion results generally from a generalization of this case. For example,
153:
901:
of elements of an ordered set such that each element of the sequence is either greater (ascending chain) or smaller (descending chain) than the preceding one. In other words, a chain is the image of a
1274:
When viewing the article on mobile the binary relations table shows first, fully expanded. I’m not sure how best to fix this (and I am on mobile) but it seems an unhelpful way to begin new readers.
1072:; for finite chains that are used for many notions of dimensions (the dimension of a vector space the the maximal length of chains of linear subspaces), and also in graph theory as a synonym of
558:), I think the rewording is ok. However, we should add warning sentences or footnotes about the two meanings of "totality" at appropriate places. I tried to phrase such a warning in the lead of
349:
944:). Since ascending and descending chains are introduced below as special cases of chains, probably this can be cleaned up simply by removing everything between "chain" and "is often used"?
980:, "chain" is used as a synonym for a totally ordered subset. Also, in the discussion of ascending chain conditions or descending chain conditions, chains are not limited to sequences. —-
1878:
542:). After I saw the rewording, I glanced at some textbooks, and found that "total(ly) order(ed set)" is used often, but -to my surprise- "totailty property" and "total relation" is not.
554:
Therefore, and since recent publications appear to use "connex" more often (this word didn't appear at all in the above books; a few recent publications that use it are listed at
1164:
Gratzer.2003 defines "chain" as in 1., and "chain in a PO" as in 1.1. but nonempty (both p.2); he defines "increasing chain" on the fly as in 1.2. (p.15, exercise about ACC).
895:
770:
is equivalent in the classical logic, but is stronger in the intuitionistic logic. (So one who uses it is advised to choose the "Strict Total Order" in one's definitions.)
908:
I intend to rewrite this section. However I am not sure that this article is the right place for defining chains. So, I wait for further input before editing this section.
675:
991:
is reliable but it defines a chain as a totally ordered subset; so any subset (even empty??) of R is a chain. I doubt we know whether the empty set is a chain or not. —-
1679:
1653:
1595:
1569:
1536:
1510:
1484:
1451:
1868:
1292:
Being not about the subject of this article, this table does not belong to the lead. I have moved it to the section "Related structures, where it is more appropriate.
1333:
147:
1753:
1621:
1382:
1883:
1727:
1707:
1422:
1402:
1356:
233:
923:
You are right that "chain" as a straightforward synonym for "totally ordered set" is uncommon, but there is a reference given in the lead; here's another:
1893:
339:
79:
1863:
1031:'s intended rewriting, I hope. According to Halmos, a chain may be empty, and (another one) may be uncoutable (cf. my edit summary). However, e.g.
1873:
1079:
This is the way I intend to rewrite the section. However I may miss some important things, and a feedback on the above summary would be welcome.
315:
1888:
933:
85:
745:
44:
856:
808:
785:
627:
1255:
1224:
306:
267:
1818:
An occurence of "strict" was omitted. Otherwise, the definition of a (non strict) total order is given in the preceding section
1858:
99:
30:
397:
104:
20:
168:
74:
1006:
242:
135:
65:
1837:
1787:
1173:
1040:
611:
575:
428:
190:
185:
1122:
1032:
440:
199:
833:
567:
547:
875:
In the lead and in the section "Chain", it is asserted that "chain" and "total order" are synonyms. If true,
749:
129:
860:
812:
109:
1624:
1014:
996:
985:
781:
735:
723:
631:
506:
The problem is that "total relation" can be used to describe two different and unrelated properties, viz.
826:
So, I have replaced "smallest" by "initial", as the concept is close (although weaker) to the concept of
1833:
1783:
1169:
1036:
905:
function of the natural numbers (or of an initial interval of the natural numbers) into an ordered set.
607:
571:
248:
125:
292:
1027:
I added the Fraïssé reference, and removed the ((dubious)) tag; this shouldn't interfer too much with
767:"We can work the other way and start by choosing < as a transitive trichotomous binary relation;"
390:
on 12 February 2020. For the contribution history and old versions of the redirected page, please see
989:
940:
p. 35. The use of "chain" for "totally ordered subset of a partially ordered set" is very common (eg
897:
would be a chain. I never heard such an assertion. As far as I know, a "chain" generally refers to a
804:
773:
741:
219:
1804:
1539:
1126:
1073:
593:
175:
161:
55:
960:(But the section needs to be rewritten so it's not just a list of bullet points so power to you!)
492:
314:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1823:
1808:
1682:
1454:
1297:
1191:
1084:
913:
878:
846:
682:
446:
298:
204:
70:
654:
282:
261:
1336:
1252:
1230:
1221:
1069:
1010:
992:
981:
930:
902:
777:
496:
383:
51:
1762:
1658:
1632:
1574:
1548:
1515:
1489:
1463:
1430:
442:
411:
201:
1318:
1313:
1142:
1065:
1051:
965:
949:
559:
555:
523:
507:
478:
464:
141:
1732:
1600:
1361:
1281:
1111:
A totally ordered set as subset of some partial order (Zorn's lemma for partial orders)
827:
589:
482:
460:
1712:
1692:
1407:
1387:
1341:
1852:
1819:
1293:
1187:
1080:
1061:
1056:
1028:
977:
909:
842:
678:
1168:
This also shows that an author needn't stick with a single node in the hierarchy. -
1035:
uses D.Lazard's notion of "chain", viz. a sequence of elements of an ordered set. -
1076:(this needs some explanations for being related to the the concept discussed here).
1009:
talks about a countable chain, which suggests there can be a uncountable one :) --
714:
The integers comprise the smallest totally ordered set with neither an upper nor a
1312:
A total order is currently being defined as follows: "That is, a total order is a
1098:
From your description, I'd suggest the following hierachy of meanings of "chain":
1758:
715:
708:
474:
387:
311:
24:
1118:
961:
945:
626:
I think I'm sure I've seen one, but can't think of an example just right now.
606:
Neither did I. Do you have another suggestion about how to avoid confusion? -
288:
1277:
588:
I never heard or saw the word "connex" before it was added to this article.
730:
Either way, the statements as currently written are not universally true.
898:
734:
bounds of ordered sets without reference to subsets, then the article on
941:
444:
203:
707:
The natural numbers comprise the smallest totally ordered set with no
1841:
1827:
1812:
1791:
1766:
1301:
1286:
1195:
1177:
1088:
1044:
1018:
1000:
969:
953:
917:
864:
850:
841:
I would not oppose to remove all mentions of "smallest / initial".
816:
789:
753:
686:
635:
615:
597:
579:
500:
1233:
1220:. Cambridge Mathematical Textbooks. Cambridge University Press.
447:
405:
365:
213:
205:
15:
764:
I think it is possible to add a remark that the approach
1689:
This is redundant – 1. follows from 4. if you substitute
622:
Example of total order that is not a strict total order?
988:) 07:04, 24 April 2021 (UTC) I don’t know if this note
801:
of the reals is clearly totally ordered). Am I right?
701:
The unique order on the empty set, ∅, is a total order.
487:
469:
392:
378:
160:
1735:
1715:
1695:
1661:
1635:
1603:
1577:
1551:
1518:
1492:
1466:
1433:
1410:
1390:
1364:
1344:
1321:
881:
657:
310:, a collaborative effort to improve the coverage of
1832:I added an appropriate sentence to the article. -
1747:
1721:
1701:
1673:
1647:
1615:
1589:
1563:
1530:
1504:
1478:
1445:
1416:
1396:
1376:
1350:
1327:
889:
669:
1216:Brian A. Davey and Hilary Ann Priestley (1990).
1121:ω (a.k.a. sequence indexed by natural numbers) (
33:for general discussion of the article's subject.
1879:Knowledge level-5 vital articles in Mathematics
1156:I also had a look at two lattice theory books:
976:It seems a matter of context; for example, in
1782:. I added a remark in the lead about that. -
174:
8:
1135:⊆ as a total order (Zorn's lemma for sets)
396:; for the discussion at that location, see
1153:This seema to cover all uses seen so far.
802:
771:
739:
256:
1734:
1714:
1694:
1660:
1634:
1602:
1576:
1550:
1517:
1491:
1465:
1432:
1409:
1389:
1363:
1343:
1320:
883:
882:
880:
830:. I have also tagged these examples with
738:should be edited to explain this usage.
656:
1798:Non-strict total order should be defined
1729:(since it doesn't say "for all distinct
1358:, which satisfies the following for all
1869:Knowledge vital articles in Mathematics
1208:
258:
217:
485:/totality throughout the article (see
1884:B-Class vital articles in Mathematics
1141:Inclusion morphism as a total order (
7:
942:https://encyclopediaofmath.org/Chain
304:This article is within the scope of
1308:The current definition is redundant
568:Trichotomy (mathematics)#Properties
247:It is of interest to the following
23:for discussing improvements to the
1218:Introduction to Lattices and Order
1105:Any total order (Halmos, Fraisse)
14:
1894:Mid-priority mathematics articles
1068:and descending chains, which are
324:Knowledge:WikiProject Mathematics
1864:Knowledge level-5 vital articles
1773:
651:), while a strict total is not (
410:
369:
327:Template:WikiProject Mathematics
291:
281:
260:
227:
218:
45:Click here to start a new topic.
1803:core concepts in this article.
796:Mistake about rational numbers?
344:This article has been rated as
1874:B-Class level-5 vital articles
1251:(2nd ed.). Basel: Birkhäuser.
463:was turned into a redirect to
1:
1792:08:58, 17 February 2023 (UTC)
1767:19:26, 16 February 2023 (UTC)
790:08:52, 6 September 2020 (UTC)
477:was reworded to use the term
318:and see a list of open tasks.
42:Put new text under old text.
1889:B-Class mathematics articles
1007:Chain-complete partial order
890:{\displaystyle \mathbb {R} }
687:23:24, 16 January 2019 (UTC)
641:A total order is reflexive (
636:18:11, 16 January 2019 (UTC)
697:From the examples section.
670:{\displaystyle x\not <x}
551:naming the connex property.
50:New to Knowledge? Welcome!
1910:
1685:, formerly called total)."
1196:14:19, 30 April 2021 (UTC)
1178:19:39, 29 April 2021 (UTC)
1089:17:40, 29 April 2021 (UTC)
1045:16:09, 29 April 2021 (UTC)
1019:07:30, 24 April 2021 (UTC)
1001:07:17, 24 April 2021 (UTC)
970:18:23, 23 April 2021 (UTC)
954:18:20, 23 April 2021 (UTC)
925:Fraïssé, R. (2011-08-18).
918:16:52, 23 April 2021 (UTC)
865:09:07, 12 March 2021 (UTC)
754:05:56, 11 March 2020 (UTC)
556:Connex relation#References
1302:12:08, 15 June 2021 (UTC)
1287:08:22, 15 June 2021 (UTC)
1123:ascending chain condition
1033:Ascending chain condition
851:21:01, 9 March 2021 (UTC)
817:16:57, 9 March 2021 (UTC)
379:Infinite descending chain
343:
276:
255:
80:Be welcoming to newcomers
1842:12:42, 13 May 2023 (UTC)
1828:21:45, 11 May 2023 (UTC)
1813:21:18, 11 May 2023 (UTC)
616:16:37, 31 May 2018 (UTC)
598:05:03, 31 May 2018 (UTC)
580:11:46, 30 May 2018 (UTC)
501:06:43, 30 May 2018 (UTC)
350:project's priority scale
1674:{\displaystyle b\leq a}
1648:{\displaystyle a\leq b}
1590:{\displaystyle b\leq a}
1564:{\displaystyle a\leq b}
1531:{\displaystyle a\leq c}
1505:{\displaystyle b\leq c}
1479:{\displaystyle a\leq b}
1446:{\displaystyle a\leq a}
1247:George Grätzer (2003).
307:WikiProject Mathematics
1859:B-Class vital articles
1749:
1723:
1703:
1675:
1649:
1617:
1591:
1565:
1532:
1506:
1480:
1447:
1418:
1398:
1378:
1352:
1329:
1270:Binary relations table
1249:General Lattice Theory
891:
760:Intuitionistic comment
736:Upper and lower bounds
724:Upper and lower bounds
722:The linked article on
671:
75:avoid personal attacks
1750:
1724:
1704:
1676:
1650:
1618:
1592:
1566:
1533:
1507:
1481:
1448:
1419:
1399:
1379:
1353:
1330:
1328:{\displaystyle \leq }
1145:: ring homomorphisms)
892:
693:Smallest bounded sets
672:
467:a few weeks ago (see
376:The contents of the
234:level-5 vital article
100:Neutral point of view
1733:
1713:
1693:
1659:
1633:
1601:
1575:
1549:
1516:
1490:
1464:
1431:
1408:
1388:
1362:
1342:
1319:
879:
655:
330:mathematics articles
105:No original research
1748:{\displaystyle a,b}
1616:{\displaystyle a=b}
1377:{\displaystyle a,b}
1127:walk (graph theory)
1074:walk (graph theory)
927:Theory of Relations
1745:
1719:
1699:
1683:strongly connected
1671:
1645:
1613:
1587:
1561:
1528:
1502:
1476:
1443:
1414:
1394:
1374:
1348:
1325:
887:
871:Meaning of "chain"
667:
299:Mathematics portal
243:content assessment
86:dispute resolution
47:
1722:{\displaystyle b}
1702:{\displaystyle a}
1417:{\displaystyle X}
1397:{\displaystyle c}
1351:{\displaystyle X}
1117:A total order of
1070:monotone sequence
935:978-0-08-096041-8
903:strictly monotone
819:
807:comment added by
792:
776:comment added by
756:
744:comment added by
453:
452:
434:
433:
404:
403:
364:
363:
360:
359:
356:
355:
212:
211:
66:Assume good faith
43:
1901:
1834:Jochen Burghardt
1784:Jochen Burghardt
1781:
1777:
1776:
1754:
1752:
1751:
1746:
1728:
1726:
1725:
1720:
1708:
1706:
1705:
1700:
1680:
1678:
1677:
1672:
1654:
1652:
1651:
1646:
1622:
1620:
1619:
1614:
1596:
1594:
1593:
1588:
1570:
1568:
1567:
1562:
1537:
1535:
1534:
1529:
1511:
1509:
1508:
1503:
1485:
1483:
1482:
1477:
1452:
1450:
1449:
1444:
1423:
1421:
1420:
1415:
1403:
1401:
1400:
1395:
1383:
1381:
1380:
1375:
1357:
1355:
1354:
1349:
1334:
1332:
1331:
1326:
1285:
1262:
1261:
1244:
1238:
1237:
1213:
1170:Jochen Burghardt
1066:ascending chains
1037:Jochen Burghardt
939:
896:
894:
893:
888:
886:
837:
676:
674:
673:
668:
650:
608:Jochen Burghardt
572:Jochen Burghardt
490:
472:
448:
425:
424:
414:
406:
395:
373:
372:
366:
332:
331:
328:
325:
322:
301:
296:
295:
285:
278:
277:
272:
264:
257:
240:
231:
230:
223:
222:
214:
206:
179:
178:
164:
95:Article policies
16:
1909:
1908:
1904:
1903:
1902:
1900:
1899:
1898:
1849:
1848:
1800:
1774:
1772:
1731:
1730:
1711:
1710:
1691:
1690:
1657:
1656:
1631:
1630:
1599:
1598:
1573:
1572:
1547:
1546:
1514:
1513:
1488:
1487:
1462:
1461:
1429:
1428:
1406:
1405:
1386:
1385:
1360:
1359:
1340:
1339:
1317:
1316:
1314:binary relation
1310:
1275:
1272:
1267:
1266:
1265:
1258:
1246:
1245:
1241:
1227:
1215:
1214:
1210:
1143:Krull dimension
1052:Krull dimension
936:
924:
877:
876:
873:
834:citation needed
831:
798:
762:
695:
653:
652:
642:
624:
560:Connex relation
524:connex relation
508:serial relation
486:
479:connex relation
468:
465:serial relation
458:
449:
443:
419:
391:
370:
329:
326:
323:
320:
319:
297:
290:
270:
241:on Knowledge's
238:
228:
208:
207:
202:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1907:
1905:
1897:
1896:
1891:
1886:
1881:
1876:
1871:
1866:
1861:
1851:
1850:
1847:
1846:
1845:
1844:
1799:
1796:
1795:
1794:
1744:
1741:
1738:
1718:
1698:
1687:
1686:
1670:
1667:
1664:
1644:
1641:
1638:
1628:
1612:
1609:
1606:
1586:
1583:
1580:
1560:
1557:
1554:
1543:
1527:
1524:
1521:
1501:
1498:
1495:
1475:
1472:
1469:
1458:
1442:
1439:
1436:
1413:
1393:
1373:
1370:
1367:
1347:
1324:
1309:
1306:
1305:
1304:
1271:
1268:
1264:
1263:
1256:
1239:
1225:
1207:
1206:
1202:
1201:
1200:
1199:
1198:
1166:
1165:
1162:
1151:
1150:
1149:
1148:
1147:
1146:
1130:
1112:
1096:
1095:
1094:
1093:
1092:
1091:
1077:
1022:
1021:
1003:
973:
972:
957:
956:
934:
885:
872:
869:
868:
867:
853:
839:
828:initial object
824:
797:
794:
761:
758:
720:
719:
712:
705:
702:
694:
691:
690:
689:
666:
663:
660:
623:
620:
619:
618:
603:
602:
601:
600:
583:
582:
563:
552:
543:
483:total relation
461:Total relation
457:
454:
451:
450:
445:
441:
439:
436:
435:
432:
431:
421:
420:
415:
409:
402:
401:
374:
362:
361:
358:
357:
354:
353:
342:
336:
335:
333:
316:the discussion
303:
302:
286:
274:
273:
265:
253:
252:
246:
224:
210:
209:
200:
198:
197:
194:
193:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1906:
1895:
1892:
1890:
1887:
1885:
1882:
1880:
1877:
1875:
1872:
1870:
1867:
1865:
1862:
1860:
1857:
1856:
1854:
1843:
1839:
1835:
1831:
1830:
1829:
1825:
1821:
1817:
1816:
1815:
1814:
1810:
1806:
1797:
1793:
1789:
1785:
1780:
1771:
1770:
1769:
1768:
1764:
1760:
1756:
1742:
1739:
1736:
1716:
1696:
1684:
1668:
1665:
1662:
1642:
1639:
1636:
1629:
1626:
1625:antisymmetric
1610:
1607:
1604:
1584:
1581:
1578:
1558:
1555:
1552:
1544:
1541:
1525:
1522:
1519:
1499:
1496:
1493:
1473:
1470:
1467:
1459:
1456:
1440:
1437:
1434:
1427:
1426:
1425:
1411:
1391:
1371:
1368:
1365:
1345:
1338:
1322:
1315:
1307:
1303:
1299:
1295:
1291:
1290:
1289:
1288:
1283:
1279:
1269:
1259:
1257:3-7643-6996-5
1254:
1250:
1243:
1240:
1235:
1232:
1228:
1226:0-521-36766-2
1223:
1219:
1212:
1209:
1205:
1197:
1193:
1189:
1184:
1183:
1182:
1181:
1180:
1179:
1175:
1171:
1163:
1159:
1158:
1157:
1154:
1144:
1140:
1137:
1136:
1134:
1131:
1128:
1124:
1120:
1116:
1113:
1110:
1107:
1106:
1104:
1101:
1100:
1099:
1090:
1086:
1082:
1078:
1075:
1071:
1067:
1063:
1058:
1053:
1048:
1047:
1046:
1042:
1038:
1034:
1030:
1026:
1025:
1024:
1023:
1020:
1016:
1012:
1008:
1005:This article
1004:
1002:
998:
994:
990:
987:
983:
979:
975:
974:
971:
967:
963:
959:
958:
955:
951:
947:
943:
937:
932:
928:
922:
921:
920:
919:
915:
911:
906:
904:
900:
870:
866:
862:
858:
854:
852:
848:
844:
840:
835:
829:
825:
822:
821:
820:
818:
814:
810:
806:
795:
793:
791:
787:
783:
779:
775:
768:
765:
759:
757:
755:
751:
747:
746:93.97.176.246
743:
737:
731:
728:
725:
717:
713:
710:
706:
703:
700:
699:
698:
692:
688:
684:
680:
664:
661:
658:
649:
645:
640:
639:
638:
637:
633:
629:
621:
617:
613:
609:
605:
604:
599:
595:
591:
587:
586:
585:
584:
581:
577:
573:
569:
564:
561:
557:
553:
549:
544:
541:
537:
533:
529:
525:
521:
517:
513:
509:
505:
504:
503:
502:
498:
494:
489:
484:
480:
476:
471:
466:
462:
455:
438:
437:
430:
427:
426:
423:
422:
418:
413:
408:
407:
399:
398:its talk page
394:
389:
385:
381:
380:
375:
368:
367:
351:
347:
341:
338:
337:
334:
317:
313:
309:
308:
300:
294:
289:
287:
284:
280:
279:
275:
269:
266:
263:
259:
254:
250:
244:
236:
235:
225:
221:
216:
215:
196:
195:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1801:
1778:
1757:
1688:
1311:
1273:
1248:
1242:
1217:
1211:
1203:
1167:
1155:
1152:
1138:
1132:
1114:
1108:
1102:
1097:
1062:Zorn's lemma
1057:Zorn's lemma
978:Zorn's lemma
962:Richard Zach
946:Richard Zach
929:. Elsevier.
926:
907:
874:
857:46.13.147.72
809:46.13.147.72
803:— Preceding
799:
778:Georgydunaev
772:— Preceding
769:
766:
763:
740:— Preceding
732:
729:
721:
696:
647:
643:
628:67.198.37.16
625:
539:
535:
531:
527:
519:
515:
511:
459:
416:
377:
346:Mid-priority
345:
305:
271:Mid‑priority
249:WikiProjects
232:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
716:lower bound
709:upper bound
481:instead of
475:Total order
473:), and now
393:its history
388:Total order
321:Mathematics
312:mathematics
268:Mathematics
148:free images
31:not a forum
25:Total order
1853:Categories
1540:transitive
1204:References
1119:order type
548:trichotomy
382:page were
1455:reflexive
1186:if any).
590:JRSpriggs
429:Archive 1
237:is rated
88:if needed
71:Be polite
21:talk page
1820:D.Lazard
1805:Bradknox
1335:on some
1294:D.Lazard
1234:89009753
1188:D.Lazard
1161:(p.100).
1081:D.Lazard
1029:D.Lazard
910:D.Lazard
899:sequence
843:D.Lazard
805:unsigned
786:contribs
774:unsigned
742:unsigned
679:D.Lazard
456:Totality
417:Archives
186:Archives
56:get help
29:This is
27:article.
493:Tea2min
348:on the
239:B-class
154:WP refs
142:scholar
1759:Joriki
1139:1.3.1.
1064:; for
522:) and
384:merged
245:scale.
126:Google
1597:then
1512:then
386:into
226:This
169:JSTOR
130:books
84:Seek
1838:talk
1824:talk
1809:talk
1788:talk
1779:Done
1763:talk
1755:").
1709:for
1571:and
1486:and
1384:and
1298:talk
1282:talk
1278:HTGS
1253:ISBN
1231:LCCN
1222:ISBN
1192:talk
1174:talk
1133:1.3.
1115:1.2.
1109:1.1.
1085:talk
1041:talk
1015:talk
1011:Taku
997:talk
993:Taku
986:talk
982:Taku
966:talk
950:talk
931:ISBN
914:talk
861:talk
847:talk
813:talk
782:talk
750:talk
683:talk
632:talk
612:talk
594:talk
576:talk
497:talk
488:diff
470:diff
162:FENS
136:news
73:and
1655:or
1545:If
1460:If
1404:in
1337:set
704:...
540:yRx
536:xRy
520:xRy
340:Mid
176:TWL
1855::
1840:)
1826:)
1811:)
1790:)
1765:)
1666:≤
1640:≤
1627:).
1582:≤
1556:≤
1542:).
1523:≤
1497:≤
1471:≤
1457:).
1438:≤
1424::
1323:≤
1300:)
1276:—
1229:.
1194:)
1176:)
1125:,
1103:1.
1087:)
1043:)
1017:)
999:)
968:)
952:)
916:)
863:)
849:)
836:}}
832:{{
815:)
788:)
784:•
752:)
685:)
646:≤
634:)
614:)
596:)
578:)
538:∨
534:.
526:(∀
518:.
510:(∀
499:)
156:)
54:;
1836:(
1822:(
1807:(
1786:(
1761:(
1743:b
1740:,
1737:a
1717:b
1697:a
1681:(
1669:a
1663:b
1643:b
1637:a
1623:(
1611:b
1608:=
1605:a
1585:a
1579:b
1559:b
1553:a
1538:(
1526:c
1520:a
1500:c
1494:b
1474:b
1468:a
1453:(
1441:a
1435:a
1412:X
1392:c
1372:b
1369:,
1366:a
1346:X
1296:(
1284:)
1280:(
1260:.
1236:.
1190:(
1172:(
1129:)
1083:(
1039:(
1013:(
995:(
984:(
964:(
948:(
938:.
912:(
884:R
859:(
845:(
838:.
811:(
780:(
748:(
718:.
711:.
681:(
665:x
662:≮
659:x
648:x
644:x
630:(
610:(
592:(
574:(
562:.
532:y
530:,
528:x
516:y
514:∃
512:x
495:(
400:.
352:.
251::
191:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.