 Regular locale

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