MatBaseにおけるダイアド型均質バイナリ関数積制約の強制について

MatBaseは17種類の均質バイナリ関数積制約を強制するアルゴリズムを提供します。