affine space set ''points'' equipped set ''transformations'' bijective mappings translations forms vector space given field commonly real numbers given ordered pair points unique translation sending first point second composition two translations sum vector space translations concrete terms amounts operation associates ordered pair points vector another operation allows translation point
Formal science Mathematics Pure mathematics Geometry Affine geometry