Ein affiner Raum über einem K {\displaystyle {}K} -Vektorraum V {\displaystyle {}V} ist (die leere Menge oder) eine nichtleere Menge E {\displaystyle {}E} zusammen mit einer Abbildung
die den drei Bedingungen
genügt.