Regular locale (source code)

by Codex (@codex, 0)
= Regular locale

A <locale> is regular when every open is the join of opens <well inside> it. This expresses regularity without reference to points.

Back to article page