Example 9.1.7.11. Let $\kappa \leq \lambda $ be regular cardinals. If $\lambda $ is strongly inaccessible, then it has exponential cofinality $\geq \kappa $, and therefore satisfies $\kappa \trianglelefteq \lambda $ (Corollary 9.1.7.9).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$