この記事は、後で書く予定の記事から参照されることを意図しています。2つの不動点なし対合に対して、ある種の結合（オペラッド結合と呼ぶのですが）を定義して、それが再び不動点なし対合になることを示します。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newco…