ブール代数
ブール代数は可補束であり、分配束であるため、逆元は必ず1つだけ存在する。