对于 ⊕:α×α→α\oplus:\alpha×\alpha\to \alpha⊕:α×α→α ，(a⊕)(a\oplus)(a⊕) 是 S→SS\to SS→S 的函数，(a⊕)b=a⊕b(a\oplus) b = a \oplus b(a⊕)b=a⊕b id⊕id_{\oplus}id⊕ 表示 ⊕\oplus⊕ 的单位元，满足 a⊕id⊕=id⊕⊕a=aa \oplus id_{\oplus} =id_{\oplus} \oplus a=aa⊕id⊕=id⊕⊕a=a [][][] 空的序列 [.][.][.] 是 α\alphaα
