User:Fake Proof/Sandbox/Equivalence of Definitions of Generated Ideal of Ring

$(1)$ is equivalent to $(2)$
This is proved in Intersection of All Ring Ideals Containing Subset is Smallest.