| pojęcia definiujące |
| ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| praporządki |
| ||||||||||
| przykłady |
| ||||||||||
| rodzaje zbiorów z porządkami |
| ||||||||||
| elementy posetów | |||||||||||
| podzbiory posetów | |||||||||||
| majoranty i minoranty | |||||||||||
| powiązane pojęcia | |||||||||||
| twierdzenia o posetach |
| ||||||||||
| uporządkowane struktury algebraiczne |
| ||||||||||
| powiązane nauki |
| ||||||||||
| badacze według daty narodzin |
|
Szablon nawigacyjny| nazwa = Teoria porządku | tytuł = [[Teoria porządku]] | grafika = [[Plik:Hasse diagram of powerset of 3.svg|200px]] | opis1 = pojęcia<br>[[Definicja|definiujące]] | opis1.1 = wszystkie porządki | spis1.1 = * [[relacja dwuargumentowa]] ** [[relacja zwrotna|zwrotna]] ** [[relacja przechodnia|przechodnia]] | opis1.2 = niektóre porządki | spis1.2 = * [[relacja antysymetryczna]] * [[relacja dobrze ufundowana]] | opis10 = uporządkowane<br>[[Algebra ogólna|struktury<br>algebraiczne]] | opis10.1 = [[Grupa (matematyka)|grupy]] | spis10.1 = * [[grupa uporządkowana]] | opis10.2 = [[Ciało (matematyka)|ciała]] | spis10.2 = * [[ciało uporządkowane]] ** [[ciało archimedesowe]] * [[ciało słabo uporządkowane]] | opis10.3 = [[Przestrzeń liniowa|przestrzenie liniowe]] | spis10.3 = * [[uporządkowana przestrzeń liniowa]] | opis11 = powiązane<br>[[Nauka|nauki]] | opis11.1 = [[podstawy matematyki]] | spis11.1 = * [[teoria mnogości]] ** [[Algebra zbiorów (nauka)|algebra zbiorów]] | opis11.2 = [[algebra]] | spis11.2 = * [[Algebra abstrakcyjna|abstrakcyjna]] * [[Algebra zbiorów (nauka)|zbiorów]] | opis11.3 = [[matematyka dyskretna]] | spis11.3 = * [[teoria grafów]] | opis11.4 = [[analiza matematyczna]] | spis11.4 = * [[analiza rzeczywista]] | opis11.5 = [[Informatyka (teoretyczna)|informatyka teoretyczna]] | spis11.5 = * [[algorytmika]] | opis12 = [[Naukowiec|badacze]] według<br>daty narodzin | opis12.1 = [[XIX wiek]] | spis12.1 = * [[George Boole]] * [[Richard Dedekind]] * [[Felix Hausdorff]] * [[Bronisław Knaster]] * [[Kazimierz Kuratowski]] * [[Arend Heyting]] * [[Helmut Hasse]] | opis12.2 = [[XX wiek]] | spis12.2 = * [[Alfred Tarski]] * [[Max Zorn]] * [[Robert P. Dilworth]] | opis2 = [[Praporządek|praporządki]] | opis2.1 = [[Częściowy porządek|częściowe porządki]] | spis2.1 = * [[porządek liniowy]] ** [[porządek ciągły]] ** [[dobry porządek]] * [[porządek zupełny]] | opis2.2 = inne | spis2.2 = * [[Relacja równoważności|relacje równoważności]] | opis3 = przykłady | opis3.1 = [[Podstawy matematyki|podstawy<br>matematyki]] | spis3.1 = * [[Podzbiór|inkluzja, in. zawieranie – podzbiór i nadzbiór]] | opis3.2 = [[arytmetyka]] | spis3.2 = * standardowe [[Nierówność|nierówności]] liczb ** [[Liczby naturalne|naturalnych]] ** [[Liczby całkowite|całkowitych]] ** [[Liczby wymierne|wymiernych]] ** [[Liczby rzeczywiste|rzeczywistych]] ** [[Liczby hiperrzeczywiste|hiperrzeczywistych]] ** [[Liczby nadrzeczywiste|nadrzeczywistych]] ** [[Liczby porządkowe|porządkowych]] ** [[Liczby kardynalne|kardynalnych]] * podzielność liczb – [[dzielnik]] i [[wielokrotność]] | opis3.3 = [[algebra]] | spis3.3 = * podzielność [[wielomian]]ów * [[podalgebra]] ** [[Podgrupa|podgrupa]] ** [[Rozszerzenie ciała|podciało]] ** [[podprzestrzeń liniowa]] ** [[podpierścień]] ** [[Krata (matematyka)#Podkraty|podkrata]] | opis3.4 = różne nauki | spis3.4 = * [[Podciąg (matematyka)|podciąg]] * [[podsłowo]] * [[Porządek leksykograficzny|porządki leksykograficzne]] | opis4 = rodzaje<br>zbiorów<br>z porządkami | opis4.1 = [[Krata_(matematyka)#Półkraty|półkraty]] | spis4.1 = * [[Krata (matematyka)|kraty]] ** [[Algebra Boole’a|algebry Boole’a]] ** [[Algebra Heytinga|algebry Heytinga]] | opis4.2 = inne [[Częściowy porządek|zbiory częściowo<br>uporządkowane – posety]] | spis4.2 = * [[Zbiór spolaryzowany|zbiory spolaryzowane]] | opis4.3 = inne | spis4.3 = * [[Zbiór skierowany|zbiory skierowane]] | opis5 = elementy<br>[[Częściowy porządek|posetów]] | spis5 = * [[Elementy minimalny i maksymalny|minimalny i maksymalny]] * [[Elementy najmniejszy i największy|najmniejszy i największy]] | opis6 = [[Podzbiór|podzbiory]]<br>posetów | spis6 = * [[Łańcuch (teoria mnogości)|łańcuchy]] * [[antyłańcuch]]y * [[Zbiór ograniczony|zbiory ograniczone]] * [[Przedział (matematyka)|przedziały]] | opis7 = [[Majoranta i minoranta|majoranty<br>i minoranty]] | spis7 = * [[kresy dolny i górny]] ** [[funkcje minimum i maksimum]] | opis8 = powiązane<br>pojęcia | spis8 = * [[diagram Hassego]] * [[izomorfizm porządków]] * [[przekrój Dedekinda]] * [[zasada dobrego uporządkowania]] * [[aksjomat ciągłości]] * [[ciąg uogólniony]] * [[Typ porządkowy (matematyka)|typ porządkowy]] ** [[liczby porządkowe]] * [[topologia porządkowa]] * [[aksjomat Archimedesa]] | opis9 = [[Twierdzenie|twierdzenia]]<br>o posetach | opis9.1 = dowolnych | spis9.1 = * [[twierdzenie Hausdorffa o łańcuchu maksymalnym]] * [[lemat Kuratowskiego-Zorna]] | opis9.2 = [[Zbiór skończony|skończonych]] | spis9.2 = * [[twierdzenie Dilwortha]] | opis9.3 = o kratach | spis9.3 = * [[twierdzenie Knastera-Tarskiego o punkcie stałym]] * [[twierdzenie o ideale pierwszym]] | kategoria = podstawy matematyki | kategoria2 = algebra