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