A boştan farklı bir cümle,
V ise
K cismi üzerinde bir vektör uzayı olsun. Aşağıdaki aksiyomları doğrulayan bir
f:A×A→V
fonksiyonu varsa
A,
V ile birleştirilmiş bir Afin uzaydır.
A1) Her
P,Q,R∈A için
f(P,Q)+f(Q,R)=f(P,R)
A2) Her
P∈A ve her
α∈V için
f(P,Q)=α olacak biçimde bir tek
Q∈A vardır.
@rumeysaclk, bu aksiyomlara göre göstermeyi dene