Puede haber más de una línea a travésP yQ, pero si(PQ) escribimos asumimos que hicimos una elección de tal línea. Formalmente hablando,[PQ) es un subconjunto del(PQ) cual correspon...Puede haber más de una línea a travésP yQ, pero si(PQ) escribimos asumimos que hicimos una elección de tal línea. Formalmente hablando,[PQ) es un subconjunto del(PQ) cual corresponde a[0,∞) bajo una isometríaf:(PQ)→R tal quef(P)=0 yf(Q)>0. El subconjunto de línea(PQ) entreP yQ se llama el segmento entreP yQ y denotado por[PQ]. Para probar (b), observar queX∈[PQ] si y sólo si0≤x≤q.
