f_k\colon B_k\rightarrow \{1,\ldots,k(B_k)\}