分離理論と分配則の対応関係

分離理論と分配則は一対一に対応しており、分離理論から分配則を構築でき、また分配則から分離理論を構築できることを示す。