直和

集合A+B

定義

$ A+B = \{\langle 0,x \rangle|x\in A\}\cup \{\langle 1,y \rangle|y\in b\}