通常の[/ブール半環/]である[+OR-AND半環]以外に、[+AND-OR半環]、[+OR-OR半環]と[AND-AND半環]も作れる。OR-AND半環、AND-OR半環、OR-OR半環、AND-AND半環への半環準同型写像を[+フラグ写像]と呼ぶ。
行列の係数にフラグ写像を適用して作られたブール行列を[+フリンジ行列]と呼ぶ。
半環準同型写像から誘導される行列のあいだの写像を一般に[+フリンジング:= fringing]と呼んでいいかも
通常の[/ブール半環/]である[+OR-AND半環]以外に、[+AND-OR半環]、[+OR-OR半環]と[AND-AND半環]も作れる。OR-AND半環、AND-OR半環、OR-OR半環、AND-AND半環への半環準同型写像を[+フラグ写像]と呼ぶ。
行列の係数にフラグ写像を適用して作られたブール行列を[+フリンジ行列]と呼ぶ。
半環準同型写像から誘導される行列のあいだの写像を一般に[+フリンジング:= fringing]と呼んでいいかも