定義
E を Riesz 空間(過去スレ009の802)とする。
E の上に有界な空でない部分集合が E において常に上限をもつなら
E を完備 Riesz 空間という。