intervals totalment ordenats

[a,b]_{K} = { x€K : a [< x [< b}
(a,b)_{K} = { x€K : a < x < b}


¬[a,b]_{K} = { x€K : x < a or b < x }
¬(a,b)_{K} = { x€K : x [< a or b [< x }


[a,b]_{K} [M] ¬[a,b]_{K} = { x€K : 0 }
[a,b]_{K} [W] ¬[a,b]_{K} = { x€K : 1 }


(a,b)_{K} [M] ¬(a,b)_{K} = { x€K : 0 }
(a,b)_{K} [W] ¬(a,b)_{K} = { x€K : 1 }


    [a,b]_{K} [M] [c,d]_{K} = [a,b]_{K} <==> ...
... [a,b]_{K} [W] [c,d]_{K} = [c,d]_{K} <==> ...
... [a,b]_{K} [<< [c,d]_{K}


    (a,b)_{K} [M] (c,d)_{K} = (a,b)_{K} <==> ...
... (a,b)_{K} [W] (c,d)_{K} = (c,d)_{K} <==> ...
... (a,b)_{K} [<< (c,d)_{K}


    ¬[a,b]_{K} [W] ¬[c,d]_{K} = ¬[a,b]_{K} <==> ...
... ¬[a,b]_{K} [M] ¬[c,d]_{K} = ¬[c,d]_{K} <==> ...
... ¬[c,d]_{K} [<< ¬[a,b]_{K}


    ¬(a,b)_{K} [W] ¬(c,d)_{K} = ¬(a,b)_{K} <==> ...
... ¬(a,b)_{K} [M] ¬(c,d)_{K} = ¬(c,d)_{K} <==> ...
... ¬(c,d)_{K} [<< ¬(a,b)_{K}