有限数列上の変換について [無断転載禁止]©2ch.net

条件分岐のための記号を導入する。これは単に場合分けを表すために用いる。
【定義５】「x ||_A y」は、条件Aが満たされるときxに等しく、その他のときyに等しい。
「||_A」を「条件Aの壁」と呼ぶことにする。
条件の壁は左結合である。すなわち x ||_A y ||_B z ＝ (x ||_A y) ||_B zである。