Definition 3
Tag 0APB, permanent. Cite it as [Bourbaki, Tag 0APB].
Lie Groups and Lie Algebras, chapter V, § 1. Hyperplanes, chambers and facets
Let C be a chamber of E. A face of C is a facet contained in the closure of C whose support is a hyperplane. A wall of C is a hyperplane that is the support of a face of C.
Every wall of C belongs to . Prop. 4 shows that a hyperplane is a wall of C if and only if . Moreover, every wall of C is the support of a single face of C.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.