Dobre založená relácia

Šablóna:Bez zdroja Dobre založená relácia je taká binárna relácia (zvyčajne čiastočné usporiadanie) < na množine M, že neexistuje nekonečná postupnosť $\{a_i{\}}_{i=0}^{\mathrm{\infty }}$ prvkov množiny M taká, že platí $a_0>a_1>a_2>\dots$. V prípade, že < je čiastočné usporiadanie, možno povedať, že < je dobre založená relácia práve vtedy, keď neexistuje nekonečná klesajúca postupnosť na množine M s usporiadaním <.

Množina M s dobre založenou reláciou < sa nazýva aj dobre založená množina. Príkladom dobre založenej množiny je napríklad množina $\mathbb{N}$ prirodzených čísel so štandardným usporiadaním <, príkladom zle založenej množiny je napríklad množina $\mathbb{Z}$ celých čísel s tým istým usporiadaním.