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