もう少し正確にご質問を記載なさると良いかと。
おそらく、数式を比較するんじゃなくて、数式の与える値を比較するんでしょう。
さらに、比較するという操作自体を表したいのではなくて、比較した結果を表したいに過ぎないようです。(比較するという操作自体を表すような標準的な記号はないと思います。「比較した結果」を表すのにはまた別の記号が要ることになって、あまり便利じゃないですからね。)
しかし、比較した結果というのが、値だけ欲しいのか、どの式からその値が出たのかまで知りたいのか、によって話は違ってきます。
複数の数式を比較してその最も値の小さいものを選んだ、その結果を表したいのであれば、
「min{式1, 式2, 式3, …}ただしmin X は集合Xの最小の要素を表す」
としておけば充分でしょう。(minという表現は大抵理解して貰えるだろうけれど、厳密には自分できちんと定義を書いておくべきものです。)
どの式が使われるのかまで表すためには、式そのものと式の値とを区別する必要が生じます。この場合、自分で必要な表現を導入するのが良さそうです。例えば
式に番号1,2,3,....を付けて
<1,式1>
<2,式2>
のように表すことにし、smallestというのを自分で勝手に作って、
「smallest{<1,式1>, <2,式2>, ... }
ここにsmallest XとはXの一つの要素<n,e>であって、
∀m∀f(<m,f>∈X → f≧e)
となるものである。」
とでもしておけば良いでしょう。
お礼
ありがとうございます!なるほど、minを使えばいいんですね!確かに!この方法は思いつきませんでした!たすかりました!