b"\n_START_ARTICLE_\nKeten (wiskunde)\n_START_PARAGRAPH_\nIn de ordetheorie, een deelgebied van de wiskunde, heet een totaal geordende deelverzameling van een partieel geordende verzameling een keten. Men kan zich zo'n keten voorstellen als een verzameling van elementen die elkaar opvolgen._NEWLINE_Voor een verzameling  met een parti\xc3\xable orde  is een oneindig dalende keten een oneindige, strikt dalende rij van elementen  waarbij  wanneer  en _NEWLINE_Zo is in de verzameling van de gehele getallen de rij  een oneindig dalende keten. Echter, binnen de verzameling van de natuurlijke getallen bestaat een dergelijke keten niet, want iedere keten van natuurlijke getallen heeft een kleinste element._NEWLINE_Als een partieel geordende verzameling geen oneindig dalende keten bevat, dan voldoet de verzameling aan de zogenaamde afnemende ketenvoorwaarde. Gebruikmakend van het keuzeaxioma kan worden gesteld dat voldoen aan de afnemende ketenvoorwaarde op een partieel geordende verzameling equivalent is met voldoen aan de eigenschap dat de corresponderende strikte parti\xc3\xable orde welgefundeerd is. Een sterkere voorwaarde, dat er geen oneindig dalende ketens en geen oneindige antiketens (deelverzameling waarvoor geldt dat elke twee elementen geen ordeningsrelatie tot elkaar hebben) bestaan, definieert de wel-quasi-orders. Een totaal geordende verzameling zonder oneindig dalende ketens wordt welgeordend genoemd."