for R being Ring
for I being Subset of R holds
( I is Ideal of R iff ex S being b₁ -homomorphic Ring ex f being Homomorphism of R,S st ker f = I )