Definition 2.8.14.3.  Let R, S be rings. We define:
R ≤ S  :⇔  ∃ homomorphismφ:R → S : φ is injective  ⇔  ∃ S ⊆ (S) : [S is a subring of S and R = [S]S]
Equivalence.  No proof.