555:
612:
574:
17:
593:
299:
401:
625:
are a special case of orthocomplemented lattices, which in turn are a special case of complemented lattices (with extra structure). The ortholattices are most often used in
611:
554:
770:
A natural further weakening of this condition for orthocomplemented lattices, necessary for applications in quantum logic, is to require it only in the special case
1404:
828:
2151:
870:
in
Boolean lattices. This remark has spurred interest in the closed subspaces of a Hilbert space, which form an orthomodular lattice.
964:
2134:
363:
1664:
573:
335:
1500:
1048:
1029:
988:
425:
316:
342:
1981:
207:
every element will have at most one complement. A lattice in which every element has exactly one complement is called a
1397:
349:
2117:
1976:
919:
443:
382:
140:, complements are unique. Every complemented distributive lattice has a unique orthocomplementation and is in fact a
592:
1971:
1607:
934:
Grätzer (1971), Lemma I.6.2, p. 48. This result holds more generally for modular lattices, see
Exercise 4, p. 50.
331:
271:
A distributive lattice is complemented if and only if it is bounded and relatively complemented. The lattice of
1689:
320:
2008:
1928:
1390:
217:. In other words, a relatively complemented lattice is characterized by the property that for every element
1793:
1722:
1602:
1696:
1684:
1647:
1622:
1597:
1551:
1520:
1259:
622:
141:
1993:
1627:
1617:
1493:
879:
850:
in quantum logic is "formally indistinguishable from the calculus of linear subspaces with respect to
545:
operation, provides an example of an orthocomplemented lattice that is not, in general, distributive.
1966:
1632:
416:
213:
A lattice with the property that every interval (viewed as a sublattice) is complemented is called a
782:
is therefore defined as an orthocomplemented lattice such that for any two elements the implication
1898:
1525:
118:
107:
356:
125:
and maps each element to a complement. An orthocomplemented lattice satisfying a weak form of the
2184:
2146:
2129:
1350:
309:
2058:
1674:
978:
617:
The hexagon lattice admits a unique orthocomplementation, but it is not uniquely complemented.
2036:
1871:
1862:
1731:
1612:
1566:
1530:
1486:
909:
542:
914:, Encyclopedia of Mathematics and its Applications, Cambridge University Press, p. 29,
2124:
2083:
2073:
2063:
1808:
1771:
1741:
1726:
1337:
1329:
1301:
1296:
1287:
1186:
757:
537:
is a bounded lattice equipped with an orthocomplementation. The lattice of subspaces of an
204:
137:
8:
2051:
1962:
1908:
1867:
1857:
1746:
1679:
1642:
1355:
1345:
1196:
1096:
1088:
1079:
844:
647:
538:
2163:
2090:
1943:
1852:
1842:
1783:
1701:
1637:
1161:
1152:
1110:
2003:
2100:
2078:
1938:
1923:
1903:
1706:
1451:
1044:
1025:
984:
915:
855:
832:
411:
288:
1017:
279:
provide an example of a complemented lattice that is not, in general, distributive.
1913:
1766:
1181:
965:
The
Unapologetic Mathematician: Orthogonal Complements and the Lattice of Subspaces
847:
840:
836:
161:
68:
1465:
1206:
2095:
1878:
1756:
1751:
1736:
1652:
1561:
1546:
1273:
1267:
1254:
1234:
1225:
1191:
1128:
698:
637:
633:
272:
203:
In general an element may have more than one complement. However, in a (bounded)
126:
122:
60:
421:
there are various competing definitions of "Orthocomplementation" in literature.
2013:
1998:
1988:
1847:
1825:
1803:
1315:
2178:
2112:
2068:
2046:
1918:
1788:
1776:
1581:
1423:
1201:
1166:
1123:
825:
821:
640:
626:
157:
64:
20:
1437:
1933:
1815:
1798:
1716:
1556:
1509:
1375:
1306:
1140:
851:
643:
represent quantum propositions and behave as an orthocomplemented lattice.
276:
110:, viewed as a bounded lattice in its own right, is a complemented lattice.
52:
16:
2139:
1832:
1711:
1576:
1365:
1360:
1249:
1239:
1213:
898:
Grätzer (1971), Lemma I.6.1, p. 47. Rutherford (1965), Theorem 9.3 p. 25.
48:
2107:
2041:
1882:
1470:
1456:
1442:
1428:
1115:
630:
323: in this section. Unsourced material may be challenged and removed.
32:
2158:
2031:
1837:
1370:
1176:
1133:
1101:
976:
298:
1953:
1820:
1571:
1171:
820:
Lattices of this form are of crucial importance for the study of
1478:
1105:
646:
Orthocomplemented lattices, like
Boolean algebras, satisfy
858:
and orthogonal complements" corresponding to the roles of
460:
on a bounded lattice is a function that maps each element
1022:
Lattice Theory: First
Concepts and Distributive Lattices
468:
in such a way that the following axioms are satisfied:
189:= 1 and
567:, the node on the right-hand side has two complements.
970:
242: and
147:
824:, since they are part of the axiomisation of the
2176:
977:Ranganathan Padmanabhan; Sergiu Rudeanu (2008).
99: = 0. Complements need not be unique.
1494:
1398:
911:Semimodular Lattices: Theory and Applications
2152:Positive cone of a partially ordered group
1501:
1487:
1405:
1391:
1057:
444:Learn how and when to remove this message
383:Learn how and when to remove this message
2135:Positive cone of an ordered vector space
1007:
980:Axioms for lattices and boolean algebras
692:
15:
1038:
1016:
943:Birkhoff (1961), Corollary IX.1, p. 134
282:
2177:
1482:
952:
907:
394:
321:adding citations to reliable sources
292:
221:in an interval there is an element
767:is modular, but not distributive.
23:of a complemented lattice. A point
13:
1662:Properties & Types (
1043:. Basel, Switzerland: Birkhäuser.
14:
2196:
2118:Positive cone of an ordered field
1067:
1058:Rutherford, Daniel Edwin (1965).
983:. World Scientific. p. 128.
1972:Ordered topological vector space
1508:
1012:. American Mathematical Society.
610:
591:
572:
553:
399:
297:
117:on a complemented lattice is an
1452:"Uniquely complemented lattice"
760:; e.g. the above-shown lattice
605:admits 3 orthocomplementations.
586:admits no orthocomplementation.
308:needs additional citations for
215:relatively complemented lattice
148:Definition and basic properties
104:relatively complemented lattice
35:are complements if and only if
1060:Introduction to Lattice Theory
958:
946:
937:
928:
901:
892:
1:
1929:Series-parallel partial order
1024:. W. H. Freeman and Company.
1001:
209:uniquely complemented lattice
106:is a lattice such that every
1608:Cantor's isomorphism theorem
7:
1648:Szpilrajn extension theorem
1623:Hausdorff maximal principle
1598:Boolean prime ideal theorem
1466:"Orthocomplemented lattice"
873:
756:holds. This is weaker than
419:. The specific problem is:
268:relative to the interval.
164:1), in which every element
156:is a bounded lattice (with
71:1), in which every element
10:
2201:
1994:Topological vector lattice
1008:Birkhoff, Garrett (1961).
880:Pseudocomplemented lattice
549:Some complemented lattices
286:
264:is called a complement of
2024:
1952:
1891:
1661:
1590:
1539:
1516:
531:orthocomplemented lattice
1603:CantorâBernstein theorem
1039:Grätzer, George (1978).
885:
560:In the pentagon lattice
464:to an "orthocomplement"
2147:Partially ordered group
1967:Specialization preorder
908:Stern, Manfred (1999),
1633:Kruskal's tree theorem
1628:KnasterâTarski theorem
1618:DushnikâMiller theorem
1424:"Complemented lattice"
1041:General Lattice Theory
332:"Complemented lattice"
44:
1438:"Relative complement"
693:Orthomodular lattices
543:orthogonal complement
138:distributive lattices
19:
2125:Ordered vector space
1302:Group with operators
1245:Complemented lattice
1080:Algebraic structures
780:orthomodular lattice
701:if for all elements
697:A lattice is called
579:The diamond lattice
458:orthocomplementation
426:improve this article
415:to meet Knowledge's
317:improve this article
283:Orthocomplementation
205:distributive lattice
154:complemented lattice
131:orthomodular lattice
115:orthocomplementation
57:complemented lattice
1963:Alexandrov topology
1909:Lexicographic order
1868:Well-quasi-ordering
1356:Composition algebra
1116:Quasigroup and loop
539:inner product space
91: = 1 and
1944:Transitive closure
1904:Converse/Transpose
1613:Dilworth's theorem
1062:. Oliver and Boyd.
843:observed that the
172:, i.e. an element
79:, i.e. an element
45:
2172:
2171:
2130:Partially ordered
1939:Symmetric closure
1924:Reflexive closure
1667:
1419:
1418:
1415:
1414:
1050:978-0-12-295750-5
1031:978-0-7167-0442-3
990:978-981-283-454-6
833:quantum mechanics
454:
453:
446:
417:quality standards
408:This article may
393:
392:
385:
367:
289:De Morgan algebra
2192:
1914:Linear extension
1663:
1643:Mirsky's theorem
1503:
1496:
1489:
1480:
1479:
1475:
1461:
1447:
1433:
1407:
1400:
1393:
1182:Commutative ring
1111:Rack and quandle
1076:
1075:
1072:
1071:
1063:
1054:
1035:
1013:
995:
994:
974:
968:
962:
956:
950:
944:
941:
935:
932:
926:
924:
905:
899:
896:
841:John von Neumann
837:Garrett Birkhoff
713:the implication
648:de Morgan's laws
623:Boolean algebras
614:
595:
576:
557:
449:
442:
438:
435:
429:
403:
402:
395:
388:
381:
377:
374:
368:
366:
325:
301:
293:
260:Such an element
162:greatest element
69:greatest element
42:
39:does not lie on
38:
30:
26:
2200:
2199:
2195:
2194:
2193:
2191:
2190:
2189:
2175:
2174:
2173:
2168:
2164:Young's lattice
2020:
1948:
1887:
1737:Heyting algebra
1685:Boolean algebra
1657:
1638:Laver's theorem
1586:
1552:Boolean algebra
1547:Binary relation
1535:
1512:
1507:
1464:
1450:
1436:
1422:
1411:
1382:
1381:
1380:
1351:Non-associative
1333:
1322:
1321:
1311:
1291:
1280:
1279:
1268:Map of lattices
1264:
1260:Boolean algebra
1255:Heyting algebra
1229:
1218:
1217:
1211:
1192:Integral domain
1156:
1145:
1144:
1138:
1092:
1070:
1051:
1032:
1018:Grätzer, George
1004:
999:
998:
991:
975:
971:
963:
959:
951:
947:
942:
938:
933:
929:
922:
906:
902:
897:
893:
888:
876:
766:
695:
618:
615:
606:
604:
596:
587:
585:
577:
568:
566:
558:
506:Order-reversing
450:
439:
433:
430:
423:
404:
400:
389:
378:
372:
369:
326:
324:
314:
302:
291:
285:
150:
142:Boolean algebra
123:order-reversing
40:
36:
28:
24:
12:
11:
5:
2198:
2188:
2187:
2185:Lattice theory
2170:
2169:
2167:
2166:
2161:
2156:
2155:
2154:
2144:
2143:
2142:
2137:
2132:
2122:
2121:
2120:
2110:
2105:
2104:
2103:
2098:
2091:Order morphism
2088:
2087:
2086:
2076:
2071:
2066:
2061:
2056:
2055:
2054:
2044:
2039:
2034:
2028:
2026:
2022:
2021:
2019:
2018:
2017:
2016:
2011:
2009:Locally convex
2006:
2001:
1991:
1989:Order topology
1986:
1985:
1984:
1982:Order topology
1979:
1969:
1959:
1957:
1950:
1949:
1947:
1946:
1941:
1936:
1931:
1926:
1921:
1916:
1911:
1906:
1901:
1895:
1893:
1889:
1888:
1886:
1885:
1875:
1865:
1860:
1855:
1850:
1845:
1840:
1835:
1830:
1829:
1828:
1818:
1813:
1812:
1811:
1806:
1801:
1796:
1794:Chain-complete
1786:
1781:
1780:
1779:
1774:
1769:
1764:
1759:
1749:
1744:
1739:
1734:
1729:
1719:
1714:
1709:
1704:
1699:
1694:
1693:
1692:
1682:
1677:
1671:
1669:
1659:
1658:
1656:
1655:
1650:
1645:
1640:
1635:
1630:
1625:
1620:
1615:
1610:
1605:
1600:
1594:
1592:
1588:
1587:
1585:
1584:
1579:
1574:
1569:
1564:
1559:
1554:
1549:
1543:
1541:
1537:
1536:
1534:
1533:
1528:
1523:
1517:
1514:
1513:
1506:
1505:
1498:
1491:
1483:
1477:
1476:
1462:
1448:
1434:
1417:
1416:
1413:
1412:
1410:
1409:
1402:
1395:
1387:
1384:
1383:
1379:
1378:
1373:
1368:
1363:
1358:
1353:
1348:
1342:
1341:
1340:
1334:
1328:
1327:
1324:
1323:
1320:
1319:
1316:Linear algebra
1310:
1309:
1304:
1299:
1293:
1292:
1286:
1285:
1282:
1281:
1278:
1277:
1274:Lattice theory
1270:
1263:
1262:
1257:
1252:
1247:
1242:
1237:
1231:
1230:
1224:
1223:
1220:
1219:
1210:
1209:
1204:
1199:
1194:
1189:
1184:
1179:
1174:
1169:
1164:
1158:
1157:
1151:
1150:
1147:
1146:
1137:
1136:
1131:
1126:
1120:
1119:
1118:
1113:
1108:
1099:
1093:
1087:
1086:
1083:
1082:
1069:
1068:External links
1066:
1065:
1064:
1055:
1049:
1036:
1030:
1014:
1010:Lattice Theory
1003:
1000:
997:
996:
989:
969:
957:
945:
936:
927:
920:
900:
890:
889:
887:
884:
883:
882:
875:
872:
815:
814:
813:
812:
764:
758:distributivity
754:
753:
752:
751:
694:
691:
690:
689:
670:
620:
619:
616:
609:
607:
602:
597:
590:
588:
583:
578:
571:
569:
564:
559:
552:
550:
527:
526:
507:
504:
494:
493:Involution law
491:
473:
472:Complement law
452:
451:
407:
405:
398:
391:
390:
305:
303:
296:
284:
281:
258:
257:
256:
255:
201:
200:
199:
198:
149:
146:
51:discipline of
9:
6:
4:
3:
2:
2197:
2186:
2183:
2182:
2180:
2165:
2162:
2160:
2157:
2153:
2150:
2149:
2148:
2145:
2141:
2138:
2136:
2133:
2131:
2128:
2127:
2126:
2123:
2119:
2116:
2115:
2114:
2113:Ordered field
2111:
2109:
2106:
2102:
2099:
2097:
2094:
2093:
2092:
2089:
2085:
2082:
2081:
2080:
2077:
2075:
2072:
2070:
2069:Hasse diagram
2067:
2065:
2062:
2060:
2057:
2053:
2050:
2049:
2048:
2047:Comparability
2045:
2043:
2040:
2038:
2035:
2033:
2030:
2029:
2027:
2023:
2015:
2012:
2010:
2007:
2005:
2002:
2000:
1997:
1996:
1995:
1992:
1990:
1987:
1983:
1980:
1978:
1975:
1974:
1973:
1970:
1968:
1964:
1961:
1960:
1958:
1955:
1951:
1945:
1942:
1940:
1937:
1935:
1932:
1930:
1927:
1925:
1922:
1920:
1919:Product order
1917:
1915:
1912:
1910:
1907:
1905:
1902:
1900:
1897:
1896:
1894:
1892:Constructions
1890:
1884:
1880:
1876:
1873:
1869:
1866:
1864:
1861:
1859:
1856:
1854:
1851:
1849:
1846:
1844:
1841:
1839:
1836:
1834:
1831:
1827:
1824:
1823:
1822:
1819:
1817:
1814:
1810:
1807:
1805:
1802:
1800:
1797:
1795:
1792:
1791:
1790:
1789:Partial order
1787:
1785:
1782:
1778:
1777:Join and meet
1775:
1773:
1770:
1768:
1765:
1763:
1760:
1758:
1755:
1754:
1753:
1750:
1748:
1745:
1743:
1740:
1738:
1735:
1733:
1730:
1728:
1724:
1720:
1718:
1715:
1713:
1710:
1708:
1705:
1703:
1700:
1698:
1695:
1691:
1688:
1687:
1686:
1683:
1681:
1678:
1676:
1675:Antisymmetric
1673:
1672:
1670:
1666:
1660:
1654:
1651:
1649:
1646:
1644:
1641:
1639:
1636:
1634:
1631:
1629:
1626:
1624:
1621:
1619:
1616:
1614:
1611:
1609:
1606:
1604:
1601:
1599:
1596:
1595:
1593:
1589:
1583:
1582:Weak ordering
1580:
1578:
1575:
1573:
1570:
1568:
1567:Partial order
1565:
1563:
1560:
1558:
1555:
1553:
1550:
1548:
1545:
1544:
1542:
1538:
1532:
1529:
1527:
1524:
1522:
1519:
1518:
1515:
1511:
1504:
1499:
1497:
1492:
1490:
1485:
1484:
1481:
1473:
1472:
1467:
1463:
1459:
1458:
1453:
1449:
1445:
1444:
1439:
1435:
1431:
1430:
1425:
1421:
1420:
1408:
1403:
1401:
1396:
1394:
1389:
1388:
1386:
1385:
1377:
1374:
1372:
1369:
1367:
1364:
1362:
1359:
1357:
1354:
1352:
1349:
1347:
1344:
1343:
1339:
1336:
1335:
1331:
1326:
1325:
1318:
1317:
1313:
1312:
1308:
1305:
1303:
1300:
1298:
1295:
1294:
1289:
1284:
1283:
1276:
1275:
1271:
1269:
1266:
1265:
1261:
1258:
1256:
1253:
1251:
1248:
1246:
1243:
1241:
1238:
1236:
1233:
1232:
1227:
1222:
1221:
1216:
1215:
1208:
1205:
1203:
1202:Division ring
1200:
1198:
1195:
1193:
1190:
1188:
1185:
1183:
1180:
1178:
1175:
1173:
1170:
1168:
1165:
1163:
1160:
1159:
1154:
1149:
1148:
1143:
1142:
1135:
1132:
1130:
1127:
1125:
1124:Abelian group
1122:
1121:
1117:
1114:
1112:
1109:
1107:
1103:
1100:
1098:
1095:
1094:
1090:
1085:
1084:
1081:
1078:
1077:
1074:
1073:
1061:
1056:
1052:
1046:
1042:
1037:
1033:
1027:
1023:
1019:
1015:
1011:
1006:
1005:
992:
986:
982:
981:
973:
966:
961:
955:, p. 11.
954:
949:
940:
931:
923:
921:9780521461054
917:
913:
912:
904:
895:
891:
881:
878:
877:
871:
869:
865:
861:
857:
853:
849:
846:
845:propositional
842:
838:
834:
830:
827:
826:Hilbert space
823:
822:quantum logic
818:
811:
807:
803:
799:
795:
791:
787:
786:
785:
784:
783:
781:
777:
773:
768:
763:
759:
750:
746:
742:
738:
734:
730:
726:
722:
718:
717:
716:
715:
714:
712:
708:
704:
700:
687:
683:
679:
675:
671:
669:
665:
661:
657:
653:
652:
651:
649:
644:
642:
641:Hilbert space
639:
635:
632:
628:
627:quantum logic
624:
613:
608:
601:
594:
589:
582:
575:
570:
563:
556:
551:
548:
547:
546:
544:
540:
536:
532:
524:
520:
516:
512:
508:
505:
502:
498:
495:
492:
489:
485:
481:
477:
474:
471:
470:
469:
467:
463:
459:
448:
445:
437:
427:
422:
418:
414:
413:
406:
397:
396:
387:
384:
376:
365:
362:
358:
355:
351:
348:
344:
341:
337:
334: â
333:
329:
328:Find sources:
322:
318:
312:
311:
306:This section
304:
300:
295:
294:
290:
280:
278:
274:
269:
267:
263:
253:
249:
245:
241:
237:
233:
230:
229:
228:
227:
226:
224:
220:
216:
211:
210:
206:
196:
192:
188:
184:
181:
180:
179:
178:
177:
175:
171:
167:
163:
159:
158:least element
155:
145:
143:
139:
134:
132:
129:is called an
128:
124:
120:
116:
111:
109:
105:
100:
98:
95: â§
94:
90:
87: â¨
86:
82:
78:
74:
70:
66:
65:least element
62:
59:is a bounded
58:
54:
50:
34:
22:
21:Hasse diagram
18:
1956:& Orders
1934:Star product
1863:Well-founded
1816:Prefix order
1772:Distributive
1762:Complemented
1761:
1732:Foundational
1697:Completeness
1653:Zorn's lemma
1557:Cyclic order
1540:Key concepts
1510:Order theory
1469:
1455:
1441:
1427:
1376:Hopf algebra
1314:
1307:Vector space
1272:
1244:
1212:
1141:Group theory
1139:
1104: /
1059:
1040:
1021:
1009:
979:
972:
960:
953:Stern (1999)
948:
939:
930:
910:
903:
894:
867:
863:
859:
852:set products
819:
816:
809:
805:
801:
797:
793:
789:
779:
775:
771:
769:
761:
755:
748:
744:
740:
736:
732:
728:
724:
720:
710:
706:
702:
696:
685:
681:
677:
673:
667:
663:
659:
655:
645:
629:, where the
621:
599:
598:The lattice
580:
561:
535:ortholattice
534:
530:
528:
522:
518:
514:
510:
500:
496:
487:
483:
479:
475:
465:
461:
457:
455:
440:
431:
424:Please help
420:
409:
379:
370:
360:
353:
346:
339:
327:
315:Please help
310:verification
307:
277:vector space
270:
265:
261:
259:
251:
247:
243:
239:
235:
231:
222:
218:
214:
212:
208:
202:
194:
190:
186:
182:
173:
169:
165:
153:
151:
135:
130:
114:
112:
103:
101:
96:
92:
88:
84:
80:
76:
72:
56:
53:order theory
49:mathematical
46:
2140:Riesz space
2101:Isomorphism
1977:Normal cone
1899:Composition
1833:Semilattice
1742:Homogeneous
1727:Equivalence
1577:Total order
1361:Lie algebra
1346:Associative
1250:Total order
1240:Semilattice
1214:Ring theory
856:linear sums
829:formulation
434:August 2014
428:if you can.
373:August 2014
136:In bounded
127:modular law
83:satisfying
27:and a line
2108:Order type
2042:Cofinality
1883:Well-order
1858:Transitive
1747:Idempotent
1680:Asymmetric
1471:PlanetMath
1457:PlanetMath
1443:PlanetMath
1429:PlanetMath
1002:References
541:, and the
343:newspapers
287:See also:
225:such that
176:such that
170:complement
119:involution
77:complement
33:Fano plane
2159:Upper set
2096:Embedding
2032:Antichain
1853:Tolerance
1843:Symmetric
1838:Semiorder
1784:Reflexive
1702:Connected
1371:Bialgebra
1177:Near-ring
1134:Lie group
1102:Semigroup
638:separable
634:subspaces
273:subspaces
2179:Category
1954:Topology
1821:Preorder
1804:Eulerian
1767:Complete
1717:Directed
1707:Covering
1572:Preorder
1531:Category
1526:Glossary
1207:Lie ring
1172:Semiring
1020:(1971).
874:See also
848:calculus
482:= 1 and
410:require
121:that is
108:interval
2059:Duality
2037:Cofinal
2025:Related
2004:FrĂŠchet
1881:)
1757:Bounded
1752:Lattice
1725:)
1723:Partial
1591:Results
1562:Lattice
1338:Algebra
1330:Algebra
1235:Lattice
1226:Lattice
817:holds.
796:, then
727:, then
699:modular
412:cleanup
357:scholar
61:lattice
47:In the
31:of the
2084:Subnet
2064:Filter
2014:Normed
1999:Banach
1965:&
1872:Better
1809:Strict
1799:Graded
1690:topics
1521:Topics
1366:Graded
1297:Module
1288:Module
1187:Domain
1106:Monoid
1047:
1028:
987:
918:
631:closed
359:
352:
345:
338:
330:
168:has a
160:0 and
75:has a
67:0 and
63:(with
2074:Ideal
2052:Graph
1848:Total
1826:Total
1712:Dense
1332:-like
1290:-like
1228:-like
1197:Field
1155:-like
1129:Magma
1097:Group
1091:-like
1089:Group
886:Notes
778:. An
739:) = (
636:of a
517:then
364:JSTOR
350:books
275:of a
1665:list
1162:Ring
1153:Ring
1045:ISBN
1026:ISBN
985:ISBN
916:ISBN
866:and
839:and
808:) =
747:) â§
709:and
680:) =
662:) =
490:= 0.
336:news
197:= 0.
55:, a
2079:Net
1879:Pre
1167:Rng
868:not
860:and
831:of
800:⨠(
788:if
731:⨠(
719:if
533:or
529:An
509:if
456:An
319:by
113:An
2181::
1468:.
1454:.
1440:.
1426:.
864:or
862:,
854:,
835:.
804:â§
792:â¤
774:=
743:â¨
735:â§
723:â¤
705:,
684:â¨
676:â§
666:â§
658:â¨
650::
521:â¤
513:â¤
499:=
486:â§
478:â¨
250:=
246:â§
238:=
234:â¨
193:â§
185:â¨
152:A
144:.
133:.
102:A
1877:(
1874:)
1870:(
1721:(
1668:)
1502:e
1495:t
1488:v
1474:.
1460:.
1446:.
1432:.
1406:e
1399:t
1392:v
1053:.
1034:.
993:.
967:.
925:.
810:c
806:c
802:a
798:a
794:c
790:a
776:a
772:b
765:3
762:M
749:c
745:b
741:a
737:c
733:b
729:a
725:c
721:a
711:c
707:b
703:a
688:.
686:b
682:a
678:b
674:a
672:(
668:b
664:a
660:b
656:a
654:(
603:4
600:M
584:3
581:M
565:5
562:N
525:.
523:a
519:b
515:b
511:a
503:.
501:a
497:a
488:a
484:a
480:a
476:a
466:a
462:a
447:)
441:(
436:)
432:(
386:)
380:(
375:)
371:(
361:¡
354:¡
347:¡
340:¡
313:.
266:a
262:b
254:.
252:c
248:b
244:a
240:d
236:b
232:a
223:b
219:a
195:b
191:a
187:b
183:a
174:b
166:a
97:b
93:a
89:b
85:a
81:b
73:a
43:.
41:l
37:p
29:l
25:p
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.