:: deftheorem Def5 defines PrimeIdeals TOPZARI1:def 11 :
for R being commutative Ring
for E being Subset of R holds
( ( not R is degenerated implies PrimeIdeals (R,E) = { p where p is Ideal of R : ( p is quasi-prime & p <> [#] R & E c= p ) } ) & ( R is degenerated implies PrimeIdeals (R,E) = {} ) );