集合半環あるいは単に半環は、空でない集合族 "s" で、以下の三条件