Tomuto článku alebo sekcii chýbajú odkazy na spoľahlivé zdroje, môže preto obsahovať informácie, ktoré je potrebné ešte overiť. Pomôžte Wikipédii a doplňte do článku citácie, odkazy na spoľahlivé zdroje.

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ť ${\displaystyle \{a_{i}\}_{i=0}^{\infty }}$ prvkov množiny M taká, že platí ${\displaystyle a_{0}>a_{1}>a_{2}>\ldots }$. 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 ${\displaystyle \mathbb {N} }$ prirodzených čísel so štandardným usporiadaním <, príkladom zle založenej množiny je napríklad množina ${\displaystyle \mathbb {Z} }$ celých čísel s tým istým usporiadaním.

Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.