\mathop{\mathrm{card}}\mathrm{Inj}(\mathbb{N}) \geqslant \mathop{\mathrm{card}}\mathcal{B}