Definition 4.7.3.21. Let $\kappa $ be a cardinal. We say that $\kappa $ is strongly inaccessible if it is uncountable and has exponential cofinality $\geq \kappa $: that is, the collection of $\kappa $-small sets is closed under formation of $\kappa $-small products.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$