Многогранником в трехмерном пространстве называется совокупность конечного числа плоских многоугольников такая, что

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

Многоугольники, из которых состоят многогранники, называются гранями, их стороны – ребрами, а их вершины – вершинами многогранника.

Определение понятия «многогранник» в пространстве зависит от того, как на плоскости определять понятие «многоугольник». Если под многоугольником понимать плоские замкнутые ломаные (хотя бы и пересекающиеся), то приходим к первому определению многогранника. Чаще, однако, придерживаются другого определения многоугольника и, соответственно, многогранника. Под многоугольником понимается часть плоскости, ограниченная ломаными. С этой точки зрения, многогранник есть поверхность, составленная из многоугольных кусков. Если эта поверхность сама себя не пересекает, то она есть полная поверхность некоторого геометрического тела, которое тоже называется многогранником; отсюда возникает третья точка зрения на многогранники, как на геометрические тела, причем допускается существование у этих тел «дырок». На рисунке 4.1.1 приведены некоторые примеры многогранников.

Многогранник называется выпуклым, если он лежит по одну сторону от плоскости любой его грани.