• 正體: 實向量空間[電子計算機]