>それから、a×bも値です
>乗法という演算を施した結果の値です

これ酷すぎだろ
これでは順序非固定派になるのも仕方がない