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