Skip to main content
1 of 2
J Williams
  • 1.3k
  • 1
  • 11
  • 13

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.

J Williams
  • 1.3k
  • 1
  • 11
  • 13