:: deftheorem Def4 defines m-Spectrum TOPZARI1:def 7 :
for R being commutative Ring holds
( ( not R is degenerated implies m-Spectrum R = { I where I is Ideal of R : ( I is quasi-maximal & I <> [#] R ) } ) & ( R is degenerated implies m-Spectrum R = {} ) );