In mathematics, an abstract polytope, informally speaking, is a structure which considers only the combinatorial properties of a traditional polytope, ignoring many of its other properties, such as angles, edge lengths, etc. No space, such as Euclidean space, is required to contain it. The abstract formulation embodies the combinatorial properties as a partially ordered set or poset.