Total orden
Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. |
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:
- Hvis a ≤ b og b ≤ a, da er a = b (antisymmetrisk relasjon)
- Hvis a ≤ b og b ≤ c, da er a ≤ c (transitiv relasjon)
- a ≤ b eller b ≤ a (total relasjon)
