Dobry porządek
Z Wikipedii
Dobry porządek na danym zbiorze X to porządek liniowy na X taki, że każdy niepusty podzbiór X ma (ze względu na ten porządek) element najmniejszy.
Przykładem porządku liniowego, który nie jest dobrym porządkiem, jest standardowo uporządkowany zbiór liczb całkowitych (podobnie liczb rzeczywistych), gdyż w zbiorze tym nie ma najmniejszego elementu.
Pojęcie dobrego porządku ma ścisły związek z pojęciem indukcji matematycznej. Pojęcie indukcji można mianowicie stosować we wszystkich zbiorach dobrze uporządkowanych.
Zdanie mówiące, że każdy zbiór można dobrze uporządkować jest równoważne aksjomatowi wyboru.
[edytuj] Przykłady
- Liczby 1,...,100 ze standardowym porządkiem.
- Zbiór liczb naturalnych
ze standardowym porządkiem. 
, gdzie liczby naturalne porównujemy normalnie, natomiast a jest elementem większym od dowolnej liczby naturalnej.- Zbiór liczb naturalnych z następującym (niestandardowym) porządkiem:
.
