linjär ordning

I matematiken sägs en binär relation R på en mängd M vara en linjär (eller total) ordning om R är transitiv, antisymmetrisk och total, i bemärkelsen att för varje a,b i M gäller endera aRb eller bRa.
Se mer på Wikipedia.οrg…