:: deftheorem Def02 defines affine-ratio ANPROJ10:def 28 :
for V being RealLinearSpace
for A, B, C being Element of V st A <> C & A,B,C are_collinear holds
for b₅ being Real holds
( b₅ = affine-ratio (A,B,C) iff B - A = b₅ * (C - A) );