Theorem 1.8.2.9 (Schröder-Bernstein).  Let κ, μ be cardinal numbers. Then the following are equivalent:
No proof.
Remarks.

This is essentially the Schröder-Bernstein theorem together with the HLM-specific equality criterion on structures.

References.