\{ b_1,\dots,b_{n-1},a\}