Knowledge

Template talk:Binary relations

Source 📝

158: 1035: 148: 130: 870: 99: 1058: 805: 826: 661: 1099: 761: 782: 1076: 849: 1014: 1120: 417: 531: 292: 903: 623: 603: 969: 931: 951: 489: 426: 641: 435: 408: 498: 585: 480: 562: 301: 1214:
The first time I saw it, his template appeared as garbage on my screen. After many minutes of experimentation, I made it viewable by reducing text size until it fit. Other readers should not have this much difficulty seeing this otherwise valuable table. What can be done to fix this problem?
1191:
Actually, for the order relations, whether they are reflexive or not is a matter of choice of definition; one can use either a strict or non-strict comparison. As it is, it seems very strange for lattices to not be called reflexive while semilattices
1160:
For now I'm going to switch the check marks over to Unicode. Like I said above, a consistent formatting makes the most sense to me, and this seems like the best option in lieu of a discussion on the matter.
682: 1296:
On further testing, it is broken because of the gadget "Make headers of tables display as long as the table is in view, i.e. "sticky" (requires Chrome v91+, Firefox v59+, or Safari)" (
1200: 1322:
No, it's due to incorrect usage of nested tables. The gadget needs proper structure and doesn't care (and cannot know) about how someone made things 'look pretty'. —
315:. Which style would be preferable? Here's a table of the different Knowledge check mark templates; the check-mark and X-mark used ought to be in the same row: 1188:"... and irreflexive" That's complete nonsense. The relations in the table are almost all reflexive, and thus not irreflexive (unless the domain is empty). 289:
Currently, the check mark is a .png image file, while the X mark is a unicode character. I think it would be better to be consistent; either do {{aye}} →
39: 1170: 340: 1259: 236:
sort and group lines into a meaningful order (e.g. separate "equiv rel" from all others, separate well-order variants from lattice variants)
1356: 1290: 74: 1361: 1230:
Maybe some wizard can rotate the column headings to run upwards rather than rightwards? This would save a lot of horizontal space. -
1154: 1253: 1239: 180: 80: 1204: 1196: 1185:"All relations are transitive" That's certainly not true. All the types of relations listed in the table are transitive. 333: 171: 135: 1339: 1317: 279: 262: 250: 20: 326: 214: 69: 284: 110: 1335: 60: 1224: 1249: 1235: 979: 275: 258: 24: 179:
on Knowledge. If you would like to participate, please visit the project page, where you can join
911: 249:((Seems to be unnecessary, as the link to the hosting article page is automatically removed in 1245: 1231: 1166: 1150: 921: 651: 271: 254: 116: 883: 8: 959: 893: 398: 50: 1138:(each check mark is assigned an undisplayed "Y" and each cross mark an undisplayed "N"). 163: 65: 672: 233:
enter irreflexive variants (e.g. reflexive partial order / irreflexive partial order)
157: 46: 1176: 1162: 1146: 941: 1331: 1301: 1220: 227: 1297: 1266: 147: 129: 711: 695: 471: 463: 455: 446: 1350: 1110: 1089: 1066: 1048: 1025: 1004: 860: 816: 795: 772: 751: 389: 381: 373: 364: 1132: 839: 729: 631: 613: 542: 511: 1209: 593: 575: 176: 1323: 1313: 1309: 1305: 1286: 1282: 1216: 552: 521: 242:
implement a parameter which line to highlight (and remove its link)
1275: 1267:
https://en.wikipedia.org/Reflexive_relation?useskin=vector-2022
1244:{{vertical header}} could be used if this was a wikitable. - 1181:
Just saw this template for the first time. It needs work.
226:
embed into some show/hide mechanism (some variant of
1131:
Most of the templates above are fully sortable in a
175:, a collaborative effort to improve the coverage of 153: 15: 251:lattice (order)#Lattices_as_partially_ordered_sets 213:This template is intended to be a counterpart of 1348: 334: 1260:Bug report: Table is broken in Vector 2022 341: 327: 109:does not require a rating on Knowledge's 1349: 352: 169:This template is within the scope of 98: 96: 92: 1357:Template-Class mathematics articles 620: 582: 115:It is of interest to the following 23:for discussing improvements to the 13: 703: 660: 638: 600: 308: 14: 1373: 1308:not sure if you know about this. 1013: 189:Knowledge:WikiProject Mathematics 1362:NA-priority mathematics articles 1118: 1097: 1074: 1056: 1033: 1012: 967: 949: 929: 901: 868: 847: 824: 803: 780: 759: 680: 659: 639: 621: 601: 583: 560: 529: 496: 487: 478: 433: 424: 415: 406: 299: 290: 192:Template:WikiProject Mathematics 156: 146: 128: 97: 40:Click here to start a new topic. 317: 681: 1: 1240:08:23, 29 November 2022 (UTC) 1225:18:25, 28 November 2022 (UTC) 719: 312: 215:Template:Algebraic structures 183:and see a list of open tasks. 37:Put new text under old text. 1254:10:46, 3 December 2022 (UTC) 7: 622: 584: 280:21:13, 25 August 2013 (UTC) 263:16:24, 30 August 2013 (UTC) 45:New to Knowledge? Welcome! 10: 1378: 1340:21:05, 31 March 2024 (UTC) 1318:19:04, 31 March 2024 (UTC) 1291:19:00, 31 March 2024 (UTC) 640: 602: 1171:15:24, 19 June 2017 (UTC) 1155:14:23, 18 June 2017 (UTC) 1129: 995: 355: 320: 141: 123: 75:Be welcoming to newcomers 1310:Jack who built the house 1283:Jack who built the house 1205:19:32, 5 June 2018 (UTC) 172:WikiProject Mathematics 70:avoid personal attacks 322:Check and cross marks 307:, or do {{y&}} → 285:Style Inconsistency? 195:mathematics articles 164:Mathematics portal 111:content assessment 81:dispute resolution 42: 1143: 1142: 980:question mark box 311:and {{n&}} → 211: 210: 207: 206: 203: 202: 91: 90: 61:Assume good faith 38: 1369: 1327: 1246:Jochen Burghardt 1232:Jochen Burghardt 1135: 1134:class="sortable" 1125: 1122: 1121: 1115: 1109: 1104: 1101: 1100: 1094: 1088: 1081: 1078: 1077: 1071: 1065: 1060: 1059: 1053: 1047: 1040: 1037: 1036: 1030: 1024: 1019: 1016: 1015: 1009: 1003: 989: 984: 978: 971: 970: 964: 958: 953: 952: 946: 940: 933: 932: 926: 920: 916: 910: 905: 904: 898: 892: 888: 882: 875: 872: 871: 865: 859: 854: 851: 850: 844: 838: 831: 828: 827: 821: 815: 810: 807: 806: 800: 794: 787: 784: 783: 777: 771: 766: 763: 762: 756: 750: 734: 728: 721: 716: 710: 705: 700: 694: 687: 684: 683: 677: 671: 666: 663: 662: 656: 650: 643: 642: 636: 630: 625: 624: 618: 612: 605: 604: 598: 592: 587: 586: 580: 574: 567: 564: 563: 557: 551: 547: 541: 536: 533: 532: 526: 520: 516: 510: 503: 500: 499: 494: 491: 490: 485: 482: 481: 475: 467: 466:|colour=orange}} 459: 451: 445: 440: 437: 436: 431: 428: 427: 422: 419: 418: 413: 410: 409: 403: 397: 393: 385: 384:|colour=purple}} 377: 369: 363: 343: 336: 329: 318: 314: 310: 306: 303: 302: 297: 294: 293: 272:Jochen Burghardt 255:Jochen Burghardt 239:same for columns 197: 196: 193: 190: 187: 166: 161: 160: 150: 143: 142: 132: 125: 124: 102: 101: 100: 93: 25:Binary relations 16: 1377: 1376: 1372: 1371: 1370: 1368: 1367: 1366: 1347: 1346: 1325: 1262: 1212: 1179: 1133: 1123: 1119: 1113: 1107: 1102: 1098: 1092: 1086: 1079: 1075: 1069: 1063: 1057: 1051: 1045: 1038: 1034: 1028: 1022: 1017: 1007: 1001: 987: 982: 976: 968: 962: 956: 950: 944: 938: 930: 924: 918: 914: 908: 902: 896: 890: 886: 880: 873: 869: 863: 857: 852: 848: 842: 836: 829: 825: 819: 813: 808: 804: 798: 792: 785: 781: 775: 769: 764: 760: 754: 748: 739: 732: 726: 714: 708: 698: 692: 685: 675: 669: 664: 654: 648: 634: 628: 616: 610: 596: 590: 578: 572: 565: 561: 555: 549: 545: 539: 534: 530: 524: 518: 514: 508: 501: 497: 492: 488: 483: 479: 469: 461: 453: 449: 443: 438: 434: 429: 425: 420: 416: 411: 407: 401: 395: 387: 379: 371: 367: 361: 348: 347: 304: 300: 295: 291: 287: 228:Template:Navbox 194: 191: 188: 185: 184: 162: 155: 87: 86: 56: 12: 11: 5: 1375: 1365: 1364: 1359: 1345: 1344: 1343: 1342: 1280: 1279: 1272: 1269: 1261: 1258: 1257: 1256: 1242: 1211: 1208: 1197:209.179.76.209 1194: 1193: 1189: 1186: 1178: 1175: 1174: 1173: 1141: 1140: 1127: 1126: 1116: 1105: 1095: 1083: 1082: 1072: 1061: 1054: 1042: 1041: 1031: 1020: 1010: 998: 997: 993: 992: 990: 985: 973: 972: 965: 954: 947: 935: 934: 927: 917: 906: 899: 889: 877: 876: 866: 855: 845: 833: 832: 822: 811: 801: 789: 788: 778: 767: 757: 745: 744: 742: 740: 737: 735: 723: 722: 717: 706: 701: 689: 688: 678: 667: 657: 645: 644: 637: 626: 619: 607: 606: 599: 588: 581: 569: 568: 558: 537: 527: 505: 504: 495: 486: 476: 474:|color=black}} 468: 460: 441: 432: 423: 414: 404: 394: 386: 378: 358: 357: 354: 350: 349: 346: 345: 338: 331: 323: 321: 298:and {{nay}} → 286: 283: 269: 268: 267: 266: 244: 243: 240: 237: 234: 231: 209: 208: 205: 204: 201: 200: 198: 181:the discussion 168: 167: 151: 139: 138: 133: 121: 120: 114: 103: 89: 88: 85: 84: 77: 72: 63: 57: 55: 54: 43: 34: 33: 30: 29: 28: 9: 6: 4: 3: 2: 1374: 1363: 1360: 1358: 1355: 1354: 1352: 1341: 1337: 1333: 1329: 1321: 1320: 1319: 1315: 1311: 1307: 1303: 1299: 1295: 1294: 1293: 1292: 1288: 1284: 1277: 1273: 1270: 1268: 1264: 1263: 1255: 1251: 1247: 1243: 1241: 1237: 1233: 1229: 1228: 1227: 1226: 1222: 1218: 1207: 1206: 1202: 1198: 1190: 1187: 1184: 1183: 1182: 1172: 1168: 1164: 1159: 1158: 1157: 1156: 1152: 1148: 1139: 1137: 1128: 1117: 1112: 1106: 1096: 1091: 1085: 1084: 1073: 1068: 1062: 1055: 1050: 1044: 1043: 1032: 1027: 1021: 1011: 1006: 1000: 999: 994: 991: 986: 981: 975: 974: 966: 961: 955: 948: 943: 937: 936: 928: 923: 913: 912:unchecked box 907: 900: 895: 885: 879: 878: 867: 862: 856: 846: 841: 835: 834: 823: 818: 812: 802: 797: 791: 790: 779: 774: 768: 758: 753: 747: 746: 743: 741: 736: 731: 725: 724: 718: 713: 707: 702: 697: 691: 690: 679: 674: 668: 658: 653: 647: 646: 633: 627: 615: 609: 608: 595: 589: 577: 571: 570: 559: 554: 544: 538: 528: 523: 513: 507: 506: 477: 473: 465: 457: 448: 442: 405: 400: 392:|color=cyan}} 391: 383: 375: 366: 360: 359: 351: 344: 339: 337: 332: 330: 325: 324: 319: 316: 282: 281: 277: 273: 264: 260: 256: 252: 248: 247: 246: 245: 241: 238: 235: 232: 229: 225: 224: 223: 222: 218: 216: 199: 182: 178: 174: 173: 165: 159: 154: 152: 149: 145: 144: 140: 137: 134: 131: 127: 126: 122: 118: 112: 108: 104: 95: 94: 82: 78: 76: 73: 71: 67: 64: 62: 59: 58: 52: 48: 47:Learn to edit 44: 41: 36: 35: 32: 31: 26: 22: 18: 17: 1281: 1213: 1195: 1180: 1144: 1130: 996:Other marks 922:unticked box 652:check mark-n 356:Cross marks 288: 270: 220: 219: 212: 170: 117:WikiProjects 106: 19:This is the 1163:GreatBigDot 1147:GreatBigDot 884:checked box 353:Check marks 186:Mathematics 177:mathematics 136:Mathematics 1351:Categories 960:unexed box 894:ticked box 399:check mark 83:if needed 66:Be polite 27:template. 21:talk page 1336:contribs 1210:Too wide 1177:Problems 673:x mark-n 107:template 51:get help 942:xed box 1271:Expand 1265:Go to 712:n& 696:y& 221:To do: 113:scale. 1306:TheDJ 1217:Comfr 1136:table 1124:clock 472:Cross 464:Cross 458:|20}} 456:cross 447:cross 376:|20}} 105:This 79:Seek 1332:talk 1314:talk 1304:). @ 1287:talk 1276:this 1274:See 1250:talk 1236:talk 1221:talk 1201:talk 1192:are. 1167:talk 1151:talk 1111:cloc 1090:equc 1067:idkc 1049:bang 1026:hmmm 1005:n.b. 861:nayd 817:nayg 796:yeag 773:nayc 752:yeac 548:and 517:and 390:tick 382:tick 374:tick 365:tick 276:talk 259:talk 253:. 68:and 1302:css 840:Mby 730:Chk 632:nan 614:yan 543:nay 512:aye 1353:: 1338:) 1334:• 1328:DJ 1324:Th 1316:) 1300:, 1298:js 1289:) 1252:) 1238:) 1223:) 1203:) 1169:) 1153:) 1114:}} 1108:{{ 1093:}} 1087:{{ 1070:}} 1064:{{ 1052:}} 1046:{{ 1029:}} 1023:{{ 1008:}} 1002:{{ 983:}} 977:{{ 963:}} 957:{{ 945:}} 939:{{ 925:}} 919:{{ 915:}} 909:{{ 897:}} 891:{{ 887:}} 881:{{ 874:N2 864:}} 858:{{ 843:}} 837:{{ 830:Ng 820:}} 814:{{ 809:Yg 799:}} 793:{{ 776:}} 770:{{ 755:}} 749:{{ 733:}} 727:{{ 715:}} 709:{{ 699:}} 693:{{ 676:}} 670:{{ 655:}} 649:{{ 635:}} 629:{{ 617:}} 611:{{ 597:}} 594:na 591:{{ 579:}} 576:ya 573:{{ 556:}} 550:{{ 546:}} 540:{{ 525:}} 519:{{ 515:}} 509:{{ 470:{{ 462:{{ 454:{{ 452:= 450:}} 444:{{ 402:}} 396:{{ 388:{{ 380:{{ 372:{{ 370:= 368:}} 362:{{ 278:) 265:)) 261:) 230:?) 217:. 49:; 1330:( 1326:e 1312:( 1285:( 1278:. 1248:( 1234:( 1219:( 1199:( 1165:( 1149:( 1145:— 1103:= 1080:? 1039:? 1018:* 988:? 853:Y 786:N 765:Y 738:✓ 720:✗ 704:✓ 686:N 665:Y 566:N 553:N 535:Y 522:Y 502:N 493:N 484:N 439:Y 430:Y 421:Y 412:Y 342:e 335:t 328:v 313:✗ 309:✓ 305:N 296:Y 274:( 257:( 119:: 53:.

Index

talk page
Binary relations
Click here to start a new topic.
Learn to edit
get help
Assume good faith
Be polite
avoid personal attacks
Be welcoming to newcomers
dispute resolution
content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Template:Algebraic structures
Template:Navbox
lattice (order)#Lattices_as_partially_ordered_sets
Jochen Burghardt
talk
16:24, 30 August 2013 (UTC)
Jochen Burghardt
talk
21:13, 25 August 2013 (UTC)
v

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.