チューリング次数
formula_40 のチューリング次数は formula_1 と formula_2 の次数の上限である。従って formula_30 は結びを持つ半束である。