Многогранник или полиэдр — обычно замкнутая поверхность, составленная из многоугольников, но иногда так же называют тело, ограниченное этой поверхностью.
каждая сторона любого из многоугольников есть одновременно сторона другого (но только одного), называемого смежным с первым (по этой стороне);
связность: от любого из многоугольников, составляющих многогранник, можно дойти до любого из них, переходя к смежному с ним, а от этого, в свою очередь, к смежному с ним, и т. д.
Эти многоугольники называются гранями, их стороны — рёбрами, а их вершины — вершинами многогранника[1].
Простейшим примером многогранника является выпуклый многогранник, то есть граница такого ограниченного подмножества евклидова пространства, которое является пересечением конечного числа полупространств.
Приведённое определение многогранника получает различный смысл в зависимости от того, как определить многоугольник, для которого возможны следующие два варианта:
Плоские замкнутые ломаные (хотя бы и самопересекающиеся);
Части плоскости, ограниченные ломаными.
В первом случае мы получаем понятие звёздчатый многогранник. Во втором — многогранник есть поверхность, составленная из многоугольных кусков. Если эта поверхность сама себя не пересекает, то она есть полная поверхность некоторого геометрического тела, которое также называется многогранником. Отсюда возникает третье определение многогранника, как самого геометрического тела.
Многогранник с n гранями называют n-гранником.
В частности, тетраэдр — четырёхгранник, додекаэдр — двенадцатигранник, икосаэдр — двадцатигранник и т. д.