除半環

除半環

除半環(division semiring)一類特殊的半環.設S是含零元(加法未必可換)的半環;若((S\{0},·)是群，則稱S為一個除半環;若對於除半環S中任意元x，有x+x一二，則稱S為加法冪等除半環.