Total orden

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)

Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.