半正多面体
四次元における半正多胞体とは、3次元でいう半正多面体に相当する多胞体のことである。その定義は