Формально, для графа {\displaystyle G=(V,E)}G=(V,E) и {\displaystyle K={\mathcal {P}}(V^{2})}{\displaystyle K={\mathcal {P}}(V^{2})} — множества всех двухэлементных подмножеств его вершин, дополнение {\displaystyle G'}G' определяется как пара {\displaystyle (V,K\setminus E)}{\displaystyle (V,K\setminus E)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
ширина в = 37мм,
высота с = 12мм ,
объем коробка:
V = а * в * с,
V = 51 * 37 * 12 = 22644 мм³