wikipediaに書いてある
＞R が関係であるとき、(x, y) ∈ R となることを、「x は y と R-関係を持つ」などといい、x?R?y や R(x, y) で表す。
というのは≦という記号は2項演算子かつ集合ってことですか？
順序をＲ、二項演算子を後で自由に選びたいときこの定義だと困りますね。