topología

A_{1} [<< ... [<< A_{n} <==> A_{1} [ || ] ... [ || ] A_{n} = A_{n}

x € A_{1} [ || ] ... [ || ] A_{n}

x € A_{n} [ || ] ... [ || ] A_{n}

x € A_{n}

x € A_{1} [ || ] ... [ || ] A_{n}

A_{1} [<< ... [<< A_{n} <==> A_{1} [ & ] ... [ & ] A_{n} = A_{1}

x € A_{1} [ & ] ... [ & ] A_{n}

x € A_{1}

x € A_{1} [ & ] ... [ & ] A_{n}

{a_{m},...,a_{i}}

}a_{m},...,a_{i}{

[ || ]-[ i = m --> n ][ {a_{m},..., a_{i}} ] = {a_{m},...,a_{n}}

[ & ]-[ i = m --> n ][ }a_{m},...,a_{i}{ ] = }a_{m},...,a_{n}{

x = a_{m} ==> ...(n+(-m))... ==> ( x = a_{m} || ... || x = a_{n}

x != a_{m} <== ...(n+(-m))... <== ( x != a_{m} & ... & x != a_{n}

{a_{i}}

}a_{i}{

[ || ]-[ i = m --> n ][ {a_{i}} ] = {a_{m},...,a_{n}}

[ & ]-[ i = m --> n ][ }a_{i}{ ] = }a_{m},...,a_{n}{

{a_{i},b_{i}}

}a_{i},b_{i}{

[ || ]-[ i = m --> n ][ {a_{i},b_{i}} ] = {a_{m},...,a_{n}} [ || ] {b_{m},...,b_{n}}

[ & ]-[ i = m --> n ][ }a_{i},b_{i}{ ] = }a_{m},...,a_{n}{ [ & ] }b_{m},...,b_{n}{