theorem Th33: :: TOPZARI1:23

for A being non degenerated commutative Ring
for S being non empty Subset of A holds PrimeIdeals (A,S) = (Ideals (A,S)) /\ (Spectrum A)