Wielokąt Petriego dla foremnego wielotopu -wymiarowego – wielokąt skośny, którego każde kolejne boków (ale nie ) należy do pewnej komórki wielotopu. Wielokąt Petriego dla wielokąta foremnego to ten sam wielokąt foremny, natomiast wielokąt Petriego dla wielościanu foremnego to wielokąt skośny, którego każde kolejne 2 (ale nie 3) boki należą do pewnej ściany wielościanu.
Dla każdego foremnego wielotopu istnieje jego rzut prostokątny na płaszczyznę, w którym wielokąt Petriego przechodzi na wielokąt foremny, a cała reszta jest zrzutowana do jego wnętrza. Wspominana płaszczyzna jest płaszczyzną Coxetera, będącą jedną z płaszczyzn symetrii wielotopu. Natomiast liczba ścian wielokąta (zwyczajowo oznaczana przez ) jest liczbą Coxetera z grupy Coxetera. Te wielokąty i ich rzuty są przydatne w wizualizacji struktur symetrii wielotopów z wyższych wymiarów.
Wielokąty Petriego dla wielościanów foremnych Dla wielokąta Petriego wielościanu foremnego o symbolu Schläfliego mającego ścian zachodzi wzór: