14.6.2 二元扩域□