定義
E を順序線形空間であり同時にその順序に関して束のとき、
即ち E の任意の２元 x, y に対して sup(x, y) と inf(x, y) が
存在するとき E を Riesz 空間と言う。