x,y,z} jest wielokomórka {p,q,r...x,y}, która jest o jeden wymiar mniejsza.
Wielotopy foremne Wielokąty foremne (płaszczyzna) Dowolny wypukły n-kąt foremny ma symbol Schläfliego {n}.
Wielościany foremne (przestrzeń trójwymiarowa) Istnieje dokładnie 5 wypukłych wielościanów foremnych: {3,3} to czworościan foremny, {4,3} to sześcian, {3,4} to ośmiościan foremny, {3,5} to dwudziestościan foremny oraz {5,3} to dwunastościan foremny. Istnieją także 4 niewypukłe wielościany foremne, nazywane wielościanami Keplera-Poinsota.
Wielokomórki foremne w przestrzeni czterowymiarowej W przestrzeni 4-wymiarowej istnieje 6 wypukłych wielokomórek foremnych oraz 10 niewypukłych. Tymi wypukłymi są: 4-wymiarowy sympleks mający symbol {3,3,3}, 4-wymiarowy hipersześcian o symbolu {4,3,3}, 4-wymiarowy hiperośmiościan z symbolem {3,3,4}, 24-komórka o symbolu {3,4,3}, 120-komórka, czyli {5,3,3} oraz 600-komórka zapisywana jako {3,3,5}.
Wielokomórki foremne w wyższych wymiarach W wymiarze piątym i wyższych są dokładnie po 3 wielotopy foremne: sympleks z symbolem {3,3,3,...}, hipersześcian z symbolem {4,3,...3,3} oraz hiperośmiościan z symbolem {3,3,...3,4}.