2.7 [034X]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
2.7
Let be an integral -affine halfspace in . This means that for some and . Using a translation, we may assume that and hence the boundary is a linear subspace of . Let be the generator of which points outwards, i.e. there is such that and . We choose a representative and we note also that is uniquely determined by the above properties.