Definition:Affine Space/Weyl's Axioms

Definition
Let $K$ be a field.

Let $\struct{V, +_V, \circ}$ be a vector space over $K$.

Let $\EE$ be a set on which a mapping is defined:


 * $- : \EE \times \EE \to V$

satisfying the following associativity conditions:

Then the ordered pair $\tuple {\EE, -}$ is an affine space.

Also see

 * Equivalence of Definitions of Affine Space