13.2.1 二元扩域□的定义