theorem Th2: :: TOPZARI1:1

for A being non degenerated commutative Ring
for S being non empty Subset of A holds Ideals (A,S) = Ideals (A,(S -Ideal))