Definition: the set of regular points of the spectrum contains a non-empty open subset
(No citations retrieved.)