topologia de intervals totalment ordenats

E_{j} = [(-j),j]_{K}
¬E_{j} = ¬[(-j),j]_{K}


F_{j} = ((-j),j)_{K}
¬F_{j} = ¬((-j),j)_{K}


Si m [< n ==> [(-m),m]_{K} [M] ... [M] [(-n),n]_{K} = [(-m),m]_{K}
Si m [< n ==> [(-m),m]_{K} [W] ... [W] [(-n),n]_{K} = [(-n),n]_{K}


Si m [< n ==> ¬[(-m),m]_{K} [M] ... [M] ¬[(-n),n]_{K} = ¬[(-n),n]_{K}
Si m [< n ==> ¬[(-m),m]_{K} [W] ... [W] ¬[(-n),n]_{K} = ¬[(-m),m]_{K}


Si m [< n ==> ((-m),m)_{K} [M] ... [M] ((-n),n)_{K} = ((-m),m)_{K}
Si m [< n ==> ((-m),m)_{K} [W] ... [W] ((-n),n)_{K} = ((-n),n)_{K}


Si m [< n ==> ¬((-m),m)_{K} [M] ... [M] ¬((-n),n)_{K} = ¬((-n),n)_{K}
Si m [< n ==> ¬((-m),m)_{K} [W] ... [W] ¬((-n),n)_{K} = ¬((-m),m)_{K}


(-1)+...(n)...+(-1) [< (-1)+...(m)...+(-1) [< x [< 1+...(m)...+1 [< 1+...(n)...+1
x < (-1)+...(n)...+(-1) [< (-1)+...(m)...+(-1) or 1+...(m)...+1 [< 1+...(n)...+1 < x


(-1)+...(n)...+(-1) [< (-1)+...(m)...+(-1) < x < 1+...(m)...+1 [< 1+...(n)...+1
x [< (-1)+...(n)...+(-1) [< (-1)+...(m)...+(-1) or 1+...(m)...+1 [< 1+...(n)...+1 [< x




E_{j} = [0,j]_{K}
¬E_{j} = ¬[0,j]_{K}


F_{j} = (0,j)_{K}
¬F_{j} = ¬(0,j)_{K}


E_{j} = [(-j),0]_{K}
¬E_{j} = ¬[(-j),0]_{K}


F_{j} = ((-j),0)_{K}
¬F_{j} = ¬((-j),0)_{K}