合同関係

僕は pure で non-strict ではないけれども、 をみて感動したりする。
定理「(種の型Ωの)代数系Aの上の任意の二元関係τに対して、τよりも強い合同関係の中に最も弱いものが存在する。」これでもっと感動できるであろう。