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