:: deftheorem defines cross-ratio ANPROJ10:def 29 :
for V being RealLinearSpace
for P, Q, R, S being Element of V holds cross-ratio (P,Q,R,S) = (affine-ratio (R,P,Q)) / (affine-ratio (S,P,Q));