Sea ,este es el conjunto de todos los divisores de 20 podemos verlo según el siguiente retículo:
Bueno llevémoslo mejor a un diagrama de ven: Sea además Y sean
y
Esto es el siguiente conjunto:
Donde B ⊆ A y C ⊆ A Entonces 1.
es un espacio topológico si : yA ∈
2. Para todo 3. Para toda
yb∈ yb∈
entonces a entonces a
∈ ∈
Entonces definimos la siguiente topología para a:
Luego vemos que
es el conjunto de subconjuntos de A (es decir las partes de A)