「どのような」大小関係か、が肝心であって、
単なる順序構造としての大小関係なら問題なく定義できる。