組合せ論理という分野での問題。 次の性質
をもつ組合せ子Uからなる集合において、弱い不動点に関する性質、
(任意の組合せ子は不動点をもつ) が成立することを示す。
式Uxは、 SPM_quotapply(U,x)"で表現することにしよう。 上の式は、
SPM_quot
と表現される。
※ 等号に関する公理が必要