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