Congruence lattices of semiprime algebras from semi--degenerate
congruence--modular varieties fulfill the equivalences from B. A. Davey`s
well--known characterization theorem for m--Stone bounded distributive
lattices, moreover, changing the cardinalities in those equivalent conditions
does not change their validity. I prove this by transferring Davey`s Theorem
from bounded distributive lattices to such congruence lattices through a
certain lattice morphism and using the fact that the codomain of that morphism
is a frame. Furthermore, these equivalent conditions are preserved by finite
direct products of such algebras, and similar equivalences are fulfilled by the
elements of semiprime commutative unitary rings and, dualized, by the elements
of complete residuated lattices.Comment: 18 page