交叉形，是一个正的、凸的、存在于任意维度的多胞形。正轴形的顶点坐标都是(±1,0,0,…,0)的全排列，正轴形是这些顶点的凸包。它的(n-1)维表面是(n-1)维的正单纯形，而正轴形的顶点图是前一维的另一正轴形。