Definition 1.8.2.6.  Let κ, μ be cardinal numbers. We define:
κ < μ  :⇔  κ ≤ μ and κ ≠ μ
Remarks.

Note that without the axiom of choice, this is not equivalent to the negation of "greater or equal".