for V being RealLinearSpace
for p being Element of V holds halfline (p,p) = {p}