topologia de singletons de dimensió n

E_{j} = {a_{1},...,a_{j}} = { x : ( x = a_{1} ) or ... or ( x = a_{j} ) }
¬E_{j} = }a_{1},...,a_{j}{ = { x : ¬( x = a_{1} ) & ... & ¬( x = a_{j} ) }


{a_{1},...,a_{m}} [M] ... [M] {a_{1},...,a_{n}} = {a_{1},...,a_{m}}
{a_{1},...,a_{m}} [W] ... [W] {a_{1},...,a_{n}} = {a_{1},...,a_{n}}


}a_{1},...,a_{m}{ [M] ... [M] }a_{1},...,a_{n}{ = }a_{1},...,a_{n}{
}a_{1},...,a_{m}{ [W] ... [W] }a_{1},...,a_{n}{ = }a_{1},...,a_{m}{