Total orden

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk

En lineær orden, en total orden, en enkel orden, eller orden uten begrensninger, er innen matematikken en binær relasjon på en mengde X, som er antisymmetrisk, transitiv og total (betegnet mer med infixnotasjonen ≤). En mengde med total orden blir kalt en totalt ordnet mengde, en lineær ordnet mengde, en enkel ordnet mengde eller en lenke.

Hvis X er totalt ordnet under ≤, da gjelder følgende utsagn for alle a, b, og c I X:

StubbDenne artikkelen er foreløpig kort eller mangelfull. Du kan hjelpe Wikipedia ved å utvide eller endre den.