指其满足如下性质：从定义中不难得出集合 formula_36 还具有如下性质:另一种等价的定义可以表述为：集合 formula_36 是仿射空间, 是指存在某个向量空间formula_46, formula_46 在 formula_36 上的作为加法群的群作用是自由且可迁的.