商偏序R／M中的弱可杯定理

对任意的（ａ）∈Ｒ／Ｍ，（Ｏ）〈（ａ）（ｏ），存在（ｂ）∈Ｒ／Ｍ，（Ｏ）〈（ｂ）〈（ｏ），使得（ａ）Ｖ（ｂ０＝（ｏ）。