Definition 1.8.2.5.  Let κ, μ be cardinal numbers. We define:
κ ≤ μ  :⇔  ∃ φ:κ → μ : φ is injective  ⇔  ∃ S ⊆ (μ) : |S| = κ
Equivalence.  No proof.
References.