\{1,\ldots,\mathrm{card}(B_k)\}