B'=(B\setminus\{b_j\})\cup\{a_i\}.