theorem Th27: :: TOPREAL9:29

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