定義
E を Riesz 空間(過去スレ009の802)とする。
E の２元 x, y は inf(|x|, |y|) = 0 のとき互いに無縁であるという。