84:
74:
53:
22:
162:
The example indicates that less than is not a total relation over the set of real numbers because "one can pick two equal numbers." If we are dealing with the SET of real numbers, then by definition, only one of each number can exist in that set. Therefore two equal numbers could never be picked, and
503:
For example, "is less than or equal to" is a total relation over the set of real numbers, because for two numbers either the first is less than or equal to the second, or the second is less than or equal to the first. On the other hand, "is less than" is not a total relation, since one can pick two
504:
equal numbers, and then neither the first is less than the second, nor is the second less than the first. (But note that "is less than" is a weak order which gives rise to a total order, namely "is less than or equal to". The relationship between strict orders and weak orders is discussed at
678:
486:
140:
254:
The use of this namespace for a type of relation is not supported by a reference. In fact, references are available that use total relation in the sense of
767:
130:
762:
106:
736:
511:
The relation "is a subset of" is also not total because, for example, neither of the sets {1,2} and {3,4} is a subset of the other.
276:
97:
58:
721:
603:
33:
332:. See there for reference documenting use of "total" for the property variously referred as "connected" or "connex".
347:
270:
683:
Connexity does not imply reflexivity. A strict partial order is a strict total order if and only if it is connex.
429:
21:
209:
168:
535:
505:
420:
240:
39:
205:
164:
83:
531:
335:
711:
527:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
520:
329:
89:
73:
52:
733:
374:
319:
301:
273:
725:
279:
236:
748:
367:
343:
262:
255:
228:
715:
258:. If there is no objection, this article will be redirected to that one. For example see
182:
numbers have to be picked. One property of a total relation is that for every element
756:
193:
315:
297:
296:
These references confirm standard usage departing from contents of this article. —
231:, where a lot of notions are introduced regarding relations, this notion is called
310:
The
Redirect has been made. Below is the old article (no supporting reference for
692:
539:
363:
102:
729:
339:
79:
283:
189:
351:
323:
305:
244:
213:
198:
172:
235:. Should we take one of both names, or mention both on both places?
186:, that element will be related to itself under the relation. — Carl
328:
I've changed it to a disambiguation page, including a link to
15:
163:
less than could be a total relation. Can anyone clarify this?
673:{\displaystyle \forall a,b\in X(aRb\lor bRa\lor (a=b))}
606:
432:
290:
101:, a collaborative effort to improve the coverage of
672:
480:
481:{\displaystyle \forall a,b\in X(aRb\lor bRa)}
8:
717:A Concise Introduction to Mathematical Logic
491:Total relations are sometimes said to have
19:
47:
605:
431:
703:
49:
7:
178:There is no requirement in that two
95:This article is within the scope of
38:It is of interest to the following
607:
433:
14:
768:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
763:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
722:Springer Science+Business Media
223:In this article, the notion of
135:This article has been rated as
667:
664:
652:
625:
515:Properties and related notions
475:
451:
227:is introduced. In the article
1:
109:and see a list of open tasks.
269:, Definition 5.8, page 57,
245:16:39, 12 August 2013 (UTC)
784:
352:17:07, 21 April 2021 (UTC)
324:03:22, 13 April 2018 (UTC)
271:Cambridge University Press
214:16:04, 19 March 2013 (UTC)
199:14:47, 19 March 2013 (UTC)
173:14:15, 19 March 2013 (UTC)
730:10.1007/978-1-4419-1221-3
306:02:33, 8 April 2018 (UTC)
134:
67:
46:
284:10.1017/CBO9780511778810
141:project's priority scale
538:is also total, it is a
530:is also total, it is a
98:WikiProject Mathematics
674:
482:
267:Relational Mathematics
219:Connex vs Trichotomous
28:This article is rated
720:(3rd ed.), New York:
675:
506:partially ordered set
483:
421:mathematical notation
712:Rautenberg, Wolfgang
604:
430:
288:Dahl/Damrath (2001)
121:mathematics articles
528:transitive relation
670:
545:A binary relation
478:
330:Connected relation
90:Mathematics portal
34:content assessment
749:pl:Relacja spójna
738:978-1-4419-1220-6
519:Totality implies
338:comment added by
197:
155:
154:
151:
150:
147:
146:
775:
742:
741:
708:
679:
677:
676:
671:
559:
558:
487:
485:
484:
479:
354:
187:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
783:
782:
778:
777:
776:
774:
773:
772:
753:
752:
745:
739:
710:
709:
705:
701:
689:
602:
601:
556:
555:
517:
501:
428:
427:
368:binary relation
360:
333:
263:Gunther Schmidt
256:serial relation
252:
229:Binary relation
221:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
781:
779:
771:
770:
765:
755:
754:
747:
744:
743:
737:
702:
700:
697:
696:
695:
688:
685:
681:
680:
669:
666:
663:
660:
657:
654:
651:
648:
645:
642:
639:
636:
633:
630:
627:
624:
621:
618:
615:
612:
609:
593:is related to
585:is related to
532:total preorder
516:
513:
500:
497:
489:
488:
477:
474:
471:
468:
465:
462:
459:
456:
453:
450:
447:
444:
441:
438:
435:
412:is related to
404:is related to
359:
356:
312:Total relation
294:
293:
286:
251:
248:
220:
217:
202:
201:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
780:
769:
766:
764:
761:
760:
758:
751:
750:
740:
735:
731:
727:
723:
719:
718:
713:
707:
704:
698:
694:
691:
690:
686:
684:
661:
658:
655:
649:
646:
643:
640:
637:
634:
631:
628:
622:
619:
616:
613:
610:
600:
599:
598:
596:
592:
588:
584:
580:
576:
572:
568:
564:
560:
552:
548:
543:
541:
537:
536:partial order
533:
529:
524:
522:
514:
512:
509:
507:
498:
496:
494:
493:comparability
472:
469:
466:
463:
460:
457:
454:
448:
445:
442:
439:
436:
426:
425:
424:
422:
417:
415:
411:
407:
403:
399:
395:
391:
387:
383:
379:
376:
372:
369:
365:
357:
355:
353:
349:
345:
341:
337:
331:
326:
325:
321:
317:
313:
308:
307:
303:
299:
291:
287:
285:
281:
278:
277:9780511778810
275:
272:
268:
264:
261:
260:
259:
257:
249:
247:
246:
242:
238:
234:
230:
226:
218:
216:
215:
211:
207:
200:
195:
191:
185:
181:
177:
176:
175:
174:
170:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
746:
716:
706:
682:
594:
590:
586:
582:
578:
574:
570:
566:
562:
554:
550:
546:
544:
525:
518:
510:
502:
492:
490:
418:
413:
409:
405:
401:
397:
393:
389:
385:
381:
377:
370:
361:
334:— Preceding
327:
311:
309:
295:
289:
266:
253:
233:trichotomous
232:
224:
222:
206:OKmisterWIKI
203:
183:
179:
165:OKmisterWIKI
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
693:Total order
597:(or both):
561:if for all
540:total order
521:reflexivity
416:(or both).
388:if for all
364:mathematics
237:BertSeghers
204:Thank you.
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
757:Categories
699:References
573:such that
553:is called
423:, this is
358:April 2018
292:, page 506
250:Challenge
180:different
714:(2010),
687:See also
499:Examples
386:complete
348:contribs
336:unsigned
534:. If a
373:over a
316:Rgdboer
298:Rgdboer
265:(2013)
139:on the
557:connex
225:connex
36:scale.
549:over
526:If a
382:total
340:Rzach
314:). —
158:total
734:ISBN
565:and
392:and
366:, a
344:talk
320:talk
302:talk
274:ISBN
241:talk
210:talk
194:talk
169:talk
726:doi
589:or
569:in
508:.)
419:In
408:or
396:in
384:or
380:is
375:set
362:In
280:doi
190:CBM
131:Low
759::
732:,
724:,
650:∨
638:∨
620:∈
608:∀
581:,
577:≠
542:.
523:.
495:.
464:∨
446:∈
434:∀
400:,
350:)
346:•
322:)
304:)
243:)
212:)
192:·
171:)
728::
668:)
665:)
662:b
659:=
656:a
653:(
647:a
644:R
641:b
635:b
632:R
629:a
626:(
623:X
617:b
614:,
611:a
595:a
591:b
587:b
583:a
579:b
575:a
571:X
567:b
563:a
551:X
547:R
476:)
473:a
470:R
467:b
461:b
458:R
455:a
452:(
449:X
443:b
440:,
437:a
414:a
410:b
406:b
402:a
398:X
394:b
390:a
378:X
371:R
342:(
318:(
300:(
282::
239:(
208:(
196:)
188:(
184:a
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.