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