Boolean algebra
直交相補束はブール代数と同様に以下のド・モルガンの法則をみたす。