Property: J-0

Definition: the set of regular points of the spectrum contains a non-empty open subset