Многогранник, — совокупность конечного числа плоских многоугольников в трёхмерном евклидовом пространстве такая, что каждая сторона любого из многоугольников есть одновременно сторона другого (но только одного), называемого смежным с первым (по этой стороне).