Remark 9.2.1.8. Following the convention of Remark 4.7.0.5, Proposition 9.2.1.1 can be viewed as a special case where of Proposition 9.2.1.7, where we take $\kappa = \aleph _0$ and $\lambda = \operatorname{\Omega }$ to be a strongly inaccessible cardinal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$