Example 4.7.3.12. Let $\aleph _0$ denote the first infinite cardinal (Example 4.7.2.10). Then $\aleph _0$ is regular: that is, the collection of finite sets is closed under finite coproducts.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 4.7.3.12. Let $\aleph _0$ denote the first infinite cardinal (Example 4.7.2.10). Then $\aleph _0$ is regular: that is, the collection of finite sets is closed under finite coproducts.