De hecho, el conjunto de los abiertos proporciona un clásico ejemplo de un reticulado completo, más exactamente un álgebra de Heyting completa (o "marco" o "locale").