It is possible to give the collection of ideals a weaker structure than a topology, such as the structure of a quantale. This is a generalisation of a locale, which is a form of topology without points.

See http://planetmath.org/encyclopedia/Quantale.html for a proof about the quantale of ideals.

It is possible to give the collection of ideals a weaker structure than a topology, such as the structure of a quantale. This is a generalisation of a locale, which is a form of topology without points.

See Link for a proof about the quantale of ideals.