Marc Bavant: aldono de matematika senco kaj franca traduko

revo/rilat.xml

@@ -12,7 +12,8 @@
 <gra><vspec>ntr</vspec></gra>
 <snc num="1">
 <dif>
-Havi inter si ligitecon k kondut-reciprokecon: <ekz>ili amba&ubreve; intime (inter)<tld/>as;
+Havi inter si ligitecon k kondut-reciprokecon: <ekz>ili amba&ubreve; intime 
+(inter)<tld/>as;
 </ekz> <ekz>ek<tld/>i, <tld/>i&gcirc;i kun iu
 </ekz>
 </dif>
@@ -23,35 +24,41 @@ Havi inter si ligitecon k kondut-reciprokecon: <ekz>ili amba&ubreve; intime (int
 </snc>
 <snc num="2">
 <dif>
-Havi inter si ian ajn ligitecon a&ubreve; interefikon: <ekz>mi ne povas kompreni kiel via konkludo <tld/>as kun viaj premisoj.
+Havi inter si ian ajn ligitecon a&ubreve; interefikon: <ekz>mi ne povas 
+kompreni kiel via konkludo <tld/>as kun viaj premisoj.
 </ekz>
 </dif>
 </snc>
 <snc num="3">
 <dif>
-Iel ju&gcirc;i pri io; konsideri de ia vidpunkto: <ekz>tiuj, kiuj provis <tld/>i al nia ideo serioze k kun ju&gcirc;o memstara<fnt>Z</fnt>;
-</ekz> <ekz>ni scias, ke vi kutimas <tld/>i kun estimo nur al tiaj argumentoj<fnt>Z</fnt>.
-</ekz> 
+Iel ju&gcirc;i pri io; konsideri de ia vidpunkto: <ekz>tiuj, kiuj provis 
+<tld/>i al nia ideo serioze k kun ju&gcirc;o memstara<fnt>Z</fnt>;
+</ekz> <ekz>ni scias, ke vi kutimas <tld/>i kun estimo nur al tiaj 
+argumentoj<fnt>Z</fnt>.
+</ekz>
 </dif>
 </snc>
 <snc num="4">
 <dif>
-Esti tiomfoje pli granda ol alia kvanto, kiom tria kvanto estas pli granda ol kvara: 20 <tld/>as al
+Esti tiomfoje pli granda ol alia kvanto, kiom tria kvanto estas pli granda 
+ol kvara: 20 <tld/>as al
 </dif>
 </snc>
 <snc num="5">
 <dif>
-kiel 8 al 2. 
+kiel 8 al 2.
 </dif>
 </snc>
 <trd lng="cs">st&yacute;kat se</trd>
 <trd lng="en">relate</trd>
 </drv>
+
 <drv mrk="rilat.0o">
 <kap><tld/>o</kap>
 <snc num="1">
 <dif>
-Ligiteco k reciproka konduto inter du a&ubreve; pluraj personoj: <ekz>esti en <tld/>o kun iu<fnt>Z</fnt>;
+Ligiteco k reciproka konduto inter du a&ubreve; pluraj personoj: <ekz>esti 
+en <tld/>o kun iu<fnt>Z</fnt>;
 </ekz> <ekz>la ekonomiaj <tld/>oj inter la okcidentaj k orientaj landoj;
 </ekz> <ekz>havi kun iu amikajn <tld/>ojn.
 </ekz>
@@ -61,38 +68,70 @@ Ligiteco k reciproka konduto inter du a&ubreve; pluraj personoj: <ekz>esti en <t
 <ref cel="komuni1.0igxo">komuniki&gcirc;o</ref>.
 </refgrp>
 </snc>
+
 <snc num="2">
 <dif>
-Ia ajn ligiteco a&ubreve; interefiko inter du a&ubreve; pluraj aferoj: <ekz>estas neniu logika <tld/>o inter amba&ubreve; ideoj;
+Ia ajn ligiteco a&ubreve; interefiko inter du a&ubreve; pluraj aferoj: 
+<ekz>estas neniu logika <tld/>o inter amba&ubreve; ideoj;
 </ekz> <ekz>la vorto "mia" montras <tld/>on de posedo.
 </ekz>
 </dif>
 </snc>
+
 <snc num="3">
 <dif>
-Ju&gcirc;maniero de iu pri io; vidpunkto: <ekz>malfacile estas atingita la nuna favora <tld/>o de la mondo al nia afero<fnt>Z</fnt>;
-</ekz> <ekz>mia <tld/>o al tiu a&ubreve; alia politika a&ubreve; religia demando<fnt>Z</fnt>;
-</ekz> <ekz>esp. estas nenies propra&jcirc;o, nek en <tld/>o materiala, nek en <tld/>o morala<fnt>Z</fnt>;
-</ekz> <ekz>certe minacas al ni nenia dan&gcirc;ero en &ccirc;i tia <tld/>o<fnt>Z</fnt>;
+Ju&gcirc;maniero de iu pri io; vidpunkto: <ekz>malfacile estas atingita la 
+nuna favora <tld/>o de la mondo al nia afero<fnt>Z</fnt>;
+</ekz> <ekz>mia <tld/>o al tiu a&ubreve; alia politika a&ubreve; religia 
+demando<fnt>Z</fnt>;
+</ekz> <ekz>esp. estas nenies propra&jcirc;o, nek en <tld/>o materiala, nek 
+en <tld/>o morala<fnt>Z</fnt>;
+</ekz> <ekz>certe minacas al ni nenia dan&gcirc;ero en &ccirc;i tia 
+<tld/>o<fnt>Z</fnt>;
 </ekz> <ekz>la&ubreve; tiu <tld/>o.
 </ekz>
 </dif>
 </snc>
+
 <snc num="4">
 <dif>
-Nombro montranta kiomfoje ia kvanto estas pli granda ol alia: <ekz>la <tld/>o de 6 al 3 estas 2<fnt>B</fnt>.
-</ekz> 
+Nombro montranta kiomfoje ia kvanto estas pli granda ol alia: <ekz>la 
+<tld/>o de 6 al 3 estas 2<fnt>B</fnt>.
+</ekz>
 </dif>
 <refgrp tip="sin">
 <ref cel="propor.0o">proporcio</ref>.
 </refgrp>
 </snc>
+
+<snc mrk="rilat.0o.MAT">
+   <uzo tip="fak">MAT</uzo>
+   <dif>
+     (inter du aroj <em>E</em> kaj <em>F</em>) <ref 
+cel="ar.sub0o">Subaro</ref>
+     de la <ref cel="produt.kartezia0o">kartezia produto</ref> <em>ExF</em>.
+   </dif>
+   <rim>
+     La matematika nocio <tld/>o servas por priskribi &ccirc;iutagajn rilatojn
+     de la tipo : "<em>a</em> estas frato de <em>b</em>", "<em>a</em> estas 
+pli
+     a&gcirc;a ol <em>b</em>"... Anstata&ubreve; diri "<em>(a, b)</em> 
+apartenas
+     al rilato <em>R</em>" oni diras "<em>a</em> estas en <em>R</em>-rilato 
+kun
+     <em>b</em>" kaj oni skribas <em>a R b</em>.
+   </rim>
+<trdgrp lng="fr">
+   <trd>correspondance</trd>,
+   <trd>relation</trd></trdgrp>
+</snc>
 </drv>
+
 <drv mrk="rilat.0a">
 <kap><tld/>a</kap>
 <snc>
 <dif>
-Havanta <tld/>on al 
+Havanta <tld/>on al
 </dif>
 <refgrp tip="sin">
 <ref cel="parenc.0a">parenca</ref>,
@@ -108,7 +147,8 @@ Havanta <tld/>on al
 <kap><tld/>e</kap>
 <snc>
 <dif>
-<tld/>ante; en <tld/>o al; la&ubreve; vidpunkto de: <ekz>kiel li povas esti tiel blinda <tld/>e sin mem<fnt>Z</fnt>
+<tld/>ante; en <tld/>o al; la&ubreve; vidpunkto de: <ekz>kiel li povas esti 
+tiel blinda <tld/>e sin mem<fnt>Z</fnt>
 </ekz>? <ekz><tld/>e la korektecon  de la lingvo, tiu libro estas rekomendinda.
 </ekz>
 </dif>
@@ -123,4 +163,20 @@ Havanta <tld/>on al
 </dif>
 </snc>
 </drv>
-</art></vortaro>
+
+<drv mrk="rilat.interna0o">
+   <kap>interna <tld/>o</kap>
+   <uzo tip="fak">MAT</uzo>
+   <snc>
+     <dif>
+       (ene de aro <em>E</em>) <ref cel="rilat.0o.MAT"><tld lit="R"/>o</ref>
+       inter E kaj E.
+     </dif>
+   </snc>
+   <trd lng="fr">relation binaire</trd>
+</drv>
+</art>
+<!--
+$Log$
+-->
+</vortaro>