Szablon:Teoria porządku

| 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 = matematyka