for V being RealLinearSpace
for p, q being Element of V holds LSeg (p,q) c= halfline (p,q)