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