不等式を考えるときはとくに断りが無ければ
両辺は実数値であるというのは暗黙の了解かと.

たとえばxが絶対値1の複素数の集合TでyがR^3内の正四面体全ての集合のとき
x>yは真か偽かとか言われても困るっしょ?