 \in R_{>0}$, we have $$a\triangleright _{t} (a\triangleright _{s}b)= a\triangleright 
_{s+t}b.$$

Let for brevity $c:= a\triangleright _{s}b$ and $d:= 
a\triangleright _{t}c$. Then $[abc]$ and $[acd]$, hence by Proposition \[transx\], we also have $[abd]$ and $[bcd]$, Also, by construction, $bc=s$ and $cd=t$. By $[bcd]$ we have $bd=s+t$, and by $[abd]$, $d$ is aligned with $a,b$. These two properties characterize $a\triangleright_{s+t}b$.

We call the map $R_{>0}\to M$ given by $s\mapsto a\triangleright 
_{s}b$ the [*ray generated by $a$ and $b$*]{}, and we call $b$ its [*source* ]{} of the ray. (Note that we cannot say $a\triangleright_{0}b =b$, since $a\triangleright _{s}b$ only is defined for $s>0$. However, it is easy to “patch” rays, using Proposition \[transx\].)

Any ray $R_{>0}\to M$ is an isometry i.e. is distance preserving. Furthermore, any triple of mutually apart points on a ray are aligned.

The first assertion is an immediate consequence of Proposition \[asssx\]; the second follows from the collinearity of $a,b$, and $a\triangleright_{s}b$ by iterated use of use of Proposition \[transx\].

Thus, a ray with source $b$ can be viewed as a “parametrization of its image by arc length, measured from $b$” (except that we have not attempted to define these terms here). Note that $b$ itself is not in the image of the ray.

The following Example refers to the model of the axiomatics which one obtains from SDG, as in Section \[modelx\]. It shows that the isometry property is not sufficient for being a ray:

[**Example.**]{} Consider in $R^{2}$ the points $a
\in R_{>0}$, we have $ $ a\triangleright _ { t } (a\triangleright _ { s}b)= a\triangleright 
 _ { s+t}b.$$ 

 Let for brevity $ c:= a\triangleright _ { s}b$ and $ d:= 
 a\triangleright _ { t}c$. Then $ [ abc]$ and $ [ acd]$, hence by Proposition \[transx\ ], we also get $ [ abd]$ and $ [ bcd]$, besides, by construction, $ bc = s$ and $ cd = t$. By $ [ bcd]$ we get $ bachelor of divinity = s+t$, and by $ [ abd]$, $ d$ is aligned with $ a, b$. These two properties characterize $ a\triangleright_{s+t}b$. 

 We bid the map $ R_{>0}\to M$ given by $ s\mapsto a\triangleright 
 _ { s}b$ the [ * beam generated by $ a$ and $ b$ * ] { }, and we call $ b$ its [ * reservoir * ] { } of the ray. (Note that we cannot pronounce $ a\triangleright_{0}b = b$, since $ a\triangleright _ { s}b$ merely is defined for $ s>0$. However, it is easy to “ patch ” rays, using Proposition \[transx\ ] .) 

 Any beam $ R_{>0}\to M$ is an isometry i.e.   is distance preserving. Furthermore, any triple of mutually apart points on a re are aligned. 

 The first assertion is an contiguous consequence of Proposition \[asssx\ ]; the second follows from the collinearity of $ a, b$, and $ a\triangleright_{s}b$ by iterate use of use of Proposition \[transx\ ]. 

 Thus, a re with source $ b$ can be viewed as a “ parametrization of its image by arc length, measured from $ b$ ” (except that we have not attempted to define these terms here). Note that $ b$ itself is not in the image of the ray. 

 The following Example refers to the model of the axiomatics which one obtains from SDG, as in Section \[modelx\ ]. It shows that the isometry property is not sufficient for being a beam: 

 [ * * Example. * * ] { } Consider in $ R^{2}$ the point $ a
 \in R_{>0}$, we have $$a\trianglerighu _{t} (a\trianglerighj _{w}b)= a\trmanglerjght 
_{s+t}b.$$

Uet for brevity $c:= a\trianglermght _{s}b$ abd $d:= 
a\triangleright _{t}c$. Then $[abc]$ and $[acd]$, henre by Propositioi \[transx\], we alal hare $[abd]$ and $[bcd]$, Akso, by convtruction, $bc=s$ dna $ed=t$. By $[bcd]$ we have $bd=s+t$, and by $[abd]$, $d$ is alibnfd with $a,b$. Thefe tej prkievties characterize $a\trianglerighf_{s+t}b$.

We ball the map $R_{>0}\to K$ given by $s\mapsto a\triangperihht 
_{s}b$ the [*ray genfrated by $a$ and $v$*]{}, and we calu $b$ its [*solxce* ]{} of the ray. (Note that we cannot say $a\tfiangkeright_{0}b =b$, suncf $a\trianglermght _{s}f$ only is denpned fos $s>0$. Howrver, it is easn to “'atcy” rays, using Propositmon \[transx\].)

Any ray $R_{>0}\tj M$ is an iaometry i.e. is distqnxe prgservhng. Wyrtferjoce, zny trlplx of mutualmy apart pounts on a ray are akidbed.

The first zssertyog is an immediate consequence of Proposptioh \[asssx\]; the second folliws from the collineatity of $a,b$, and $a\triangleright_{s}b$ by iterated use of use of Psoposmtkon \[tvansb\].

Rhks, a ray with source $b$ can be viewed as a “parwjeuridation of its imane by arc length, mradutgd from $b$” (excekt that we have not attemptef to desine rhese teris hrre). Note that $b$ itself is nit in the imcge of the ray.

The folpowing Exam'le regers yo the model of the axiumatjcs which oje obtaina from SDG, as in Recnion \[modelx\]. It shows that the ysometry 'ropexty is nut sofficiegt for beijg a vdy:

[**Example.**]{} Consider in $R^{2}$ tve points $w
\in R_{>0}$, we have $$a\triangleright _{t} (a\triangleright _{s+t}b.$$ for brevity a\triangleright _{s}b$ and and hence by Proposition we also have and $[bcd]$, Also, by construction, $bc=s$ $cd=t$. By $[bcd]$ we have $bd=s+t$, and by $[abd]$, $d$ is aligned with These two properties characterize $a\triangleright_{s+t}b$. We call the map $R_{>0}\to M$ given by a\triangleright the generated $a$ and $b$*]{}, and we call $b$ its [*source* ]{} of the ray. (Note that we say $a\triangleright_{0}b =b$, since $a\triangleright _{s}b$ only is for $s>0$. However, it easy to “patch” rays, using \[transx\].) ray $R_{>0}\to is isometry is distance preserving. any triple of mutually apart points on a ray are aligned. The first assertion is an immediate of Proposition second follows the of and $a\triangleright_{s}b$ by of use of Proposition \[transx\]. Thus, source $b$ can be viewed as a “parametrization its image arc length, measured from $b$” (except we have not attempted to define these terms Note that $b$ itself is not in the image of the ray. The following Example the model of the which one obtains SDG, in \[modelx\]. shows that isometry property is not sufficient for being a ray: [**Example.**]{} Consider $R^{2}$ the points $a
 \in R_{>0}$, we have $$a\triangleright _{t} (a\TriangleriGht _{s}b)= A\trIanGlErigHt 
_{s+t}B.$$

Let for brevity $C:= A\triAngleright _{s}b$ and $d:= 
a\trianGleriGhT _{T}c$. ThEN $[aBc]$ and $[Acd]$, hencE By pROpoSiTiOn \[tRaNSx\], We alsO haVe $[abd]$ anD $[bcd]$, Also, by ConStRuction, $bc=s$ anD $Cd=T$. By $[bcd]$ we haVe $bD=s+t$, and by $[abd]$, $d$ Is aLigned WiTh $a,B$. these Two PropeRties cHAracteRize $a\triaNgLEright_{S+T}b$.

We calL THe Map $R_{>0}\To M$ given by $s\mapsto A\TrIAngleright 
_{s}b$ thE [*ray geNeRAtED By $a$ And $B$*]{}, and we call $B$ iTs [*souRCe* ]{} of the RAy. (nOTE thAT we cannot say $a\TrianglerigHT_{0}b =b$, Since $a\TrIanGLerighT _{s}b$ onLy IS deFined for $s>0$. HoWeveR, it is easy To “patcH” Rays, usiNG ProposItion \[tRanSx\].)

ANy raY $r_{>0}\tO M$ Is aN iSOmeTRy I.e. iS DisTance preSeRvIng. FuRtheRMORE, any TriPle oF mutuAlly apart poinTs oN a raY Are AlignEd.

The FirsT aSsertIon is aN immeDiAte consequence oF ProPosition \[aSssX\]; tHe sEcOnd foLLows frOm tHe cOllineaRity of $a,B$, And $A\tRIANgLeright_{s}b$ by iterateD uSE Of Use of ProPositiON \[tRaNSx\].

Thus, a rAy WitH souRCE $b$ can Be viEWeD as a “paraMetrizATiOn Of its imAgE by arc LeNgtH, meAsureD From $B$” (excepT that we hAve noT Attempted to defINe these terms hERe). nOTe THat $b$ ItsElf is not in tHe imAGe of The rAY.

THe fOLlowiNg ExaMpLE rEFers to the model of the AxIomatiCs whiCh one obtains fRom SDG, as in sECTion \[modeLx\]. It SHoWS that the isometRy proPerty is not SUfficienT for bEing a ray:

[**example.**]{} CoNSIder in $R^{2}$ tHe pOinTs $a
 \in R_{>0}$, we have $$a\ triangleri ght _ {t}  (a \t rian gler ight _{s}b)= a \ tria ngleright 
_{s+t}b.$$
Letfo r  bre v it y $c: = a\tri a ng l e rig ht  _ {s} b$ an d $d: = a\trian gleright _ {t} c$ . Then $[abc ] $and $[acd] $,hence by Pro pos ition\[ tra n sx\],  we  also  have$ [abd]$  and $[bc d] $ , Also ,  by con s t ru ctio n, $bc=s$ and $cd = t$ .  By $[bcd]$ we  have$b d =s + t $,and  by $[abd] $,  $d$i s align e dw i t h $ a ,b$. These tw o propertie s  ch aracte ri ze$ a\tria ngler ig h t_{ s+t}b$.

We  cal l the map  $R_{> 0 }\to M$ given b y $s\m aps toa\tr i an gl eri gh t  
_ { s} b$t he[*ray ge ne ra ted b y $a $ a n d $b $*] {},and w e call $b$ it s [ *sou r ce*  ]{}of th e ra y.  (Not e that  we c an not say $a\tria ngle right_{0} b = b$ , s in ce $a \ triang ler igh t _{s}b $ onlyi s d ef i n e dfor $s>0$. However ,i t  i s easy t o “pat c h”  r a ys, usin gPro posi t i on \[ tran s x\ ].)

Any  ray $ R _{ >0 }\to M$  i s an i so met ryi.e.i s di stance  preserv ing.F urthermore, an y  triple of mu t ua l l ya part  po ints on a r ay a r e al igne d .
Th e  firs t ass er t io n  is an immediate co ns equenc e ofProposition \ [asssx\];t h e  secondfoll o ws from the colli neari ty of $a,b $ , and $a \tria nglerigh t_{s}b$ b y iterated  us e o f u seo f  P roposition \[ t r ansx \] .

Thus , a  ray wi thsou rce  $b $can be vi ewed asa“p ar am etr izati o n of its  i mag ebyarc l e ngth,measu redfr om $b$ ” (exce p tt h at w eha ve n otat tempt ed t o  de fine th ese terms  he r e).No te  that $ b$ itself isno t in the i ma geof the r ay.

The  following Example refe r s to th e m odelof t he axioma tic s whic h o n e obta ins fr om SD G,  as i n Sec t i on  \[ mo delx\]. It s how s tha ttheisometr y property is nots uff icient for be ing  a r a y :
[* * Ex a mpl e. * *]{ } Consider in $R^ {2}$ the p oi n ts  $a
 \in_R_{>0}$, we_have $$a\triangleright _{t} (a\triangleright__{s}b)= a\triangleright_
_{s+t}b.$$

Let_for brevity_$c:=_a\triangleright _{s}b$ and_$d:= 
a\triangleright _{t}c$._Then $[abc]$ and $[acd]$,_hence by Proposition_\[transx\],_we also have $[abd]$ and $[bcd]$, Also, by construction, $bc=s$ and $cd=t$. By $[bcd]$_we_have $bd=s+t$,_and_by_$[abd]$, $d$ is aligned with_$a,b$. These two properties characterize_$a\triangleright_{s+t}b$.

We call_the map $R_{>0}\to M$ given by $s\mapsto a\triangleright_
_{s}b$_the [*ray generated_by $a$ and $b$*]{}, and we call $b$ its_[*source* ]{} of the ray. (Note_that we cannot_say_$a\triangleright_{0}b_=b$, since $a\triangleright _{s}b$_only is defined for $s>0$. However,_it is easy to “patch” rays,_using Proposition \[transx\].)

Any ray $R_{>0}\to M$ is_an isometry i.e. is distance preserving. Furthermore,_any triple of mutually apart_points on_a ray are aligned.

The first_assertion is an_immediate consequence_of Proposition \[asssx\];_the second follows from the collinearity_of $a,b$, and_$a\triangleright_{s}b$ by iterated use of use_of_Proposition \[transx\].

Thus, a_ray_with_source $b$_can be viewed_as_a “parametrization_of_its image by arc length, measured_from_$b$” (except that we have not attempted_to define these terms_here)._Note that $b$ itself_is not in the image_of the ray.

The following Example refers_to the_model of_the axiomatics which one obtains from SDG, as in Section \[modelx\]._It shows that the isometry property_is not sufficient for_being a_ray:

[**Example.**]{}_Consider in $R^{2}$_the_points $a