:: deftheorem defines PrimeIdeals TOPZARI1:def 12 :
for A being non degenerated commutative Ring
for E being Subset of A holds PrimeIdeals (A,E) = { p where p is prime Ideal of A : E c= p } ;