which is the facet opposite the orthogonal corner. For a 2-simplex the theorem is the Pythagorean theorem for triangles with a right angle and for a 3-simplex it is de Gua's theorem for a tetrahedron with an orthogonal corner. Relation to the (n + 1)-hypercube The Hasse diagram of the face lattice of an n-simplex is isomorphic to the graph of the (n + 1)-hypercube's edges, with the hypercube's vertices mapping to each of the n-simplex's elements, including the entire simplex and the null polytope as the extreme points of the lattice (mapped to two opposite vertices on the hypercube). This fact may be used to efficiently enumerate the simplex's face lattice, since more general face lattice enumeration algorithms are more computationally expensive. The n-simplex is also the vertex figure of the (n + 1)-hypercube. It is also the facet of the (n + 1)-orthoplex. Topology Topologically, an n-simplex is equivalent to an n-ball. Every n-simplex is an n-dimensional manifold with corners. Probability In probability theory, the points of the standard n-simplex in (n + 1)-space form the space of possible probability distributions on a finite set consisting of n + 1 possible outcomes. The correspondence is as follows: For each distribution described as an ordered (n + 1)-tuple of probabilities whose sum is (necessarily) 1, we associate the point of the simplex whose barycentric coordinates are precisely those probabilities. That is, the kth vertex of the simplex is assigned to have the kth probability of the (n + 1)-tuple as its barycentric coefficient. This correspondence is an affine homeomorphism. Compounds Since all simplices are self-dual, they can form a series of compounds; Two triangles form a hexagram {6/2}. Two tetrahedra form a compound of two tetrahedra or stella octangula. Two 5-cells form a compound of two 5-cells in four dimensions. Algebraic topology In algebraic topology, simplices are used as building blocks to construct an interesting class of topological spaces called simplicial complexes. These spaces are built from simplices glued together in a combinatorial fashion. Simplicial complexes are used to define a certain kind of homology called simplicial homology. A finite set of k-simplexes embedded in an open subset of Rn is called an affine k-chain. The simplexes in a chain need not be unique; they may occur with multiplicity. Rather than using standard set notation to denote an affine chain, it is instead the standard practice to use plus