Proposition 6

Tag 05ND, permanent. Cite it as [Bourbaki, Tag 05ND].

Let M, N be two subsets of E such that M ⊂ N; if M' and N' are the submodules of E* orthogonal to M and N respectively, then N' ⊂ M'.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.