Remark 4.7.0.2. Throughout this section, we will need some elementary properties of cardinals and cardinal arithmetic. For the reader's convenience, we briefly review the set-theoretic prerequisites in §4.7.1 and §4.7.2.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$