Page "Löwenheim–Skolem theorem" Paragraph 9

* if κ < | M | then N is an elementary substructure of M ;