Marc Bavant: korektoj en inversa ~o, +ref al bildigo

revuloj · Sep 29, 2000 · 836c0ce · 836c0ce
1 parent 4818705
commit 836c0ce
Showing 1 changed file with 66 additions and 60 deletions.
diff --git a/revo/rilat.xml b/revo/rilat.xml
@@ -99,28 +99,29 @@ Nombro montranta kiomfoje ia kvanto estas pli granda ol alia: <ekz>la
 </refgrp>
 </snc>
 <snc mrk="rilat.0o.MAT">
-     <uzo tip="fak">MAT</uzo>
-     <dif>
-       (inter du aroj <em>E</em> kaj <em>F</em>) <ref
+      <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 tip="malprt" cel="produt.kartezia0o">kartezia 
+        de la <ref tip="malprt" cel="produt.kartezia0o">kartezia
 produto</ref> <em>ExF</em>.
-     </dif>
-     <rim>
-       La matematika nocio <tld/>o servas por priskribi &ccirc;iutagajn 
+      </dif>
+      <ref tip="prt" cel="bild.0igo">bildigo.</ref>
+      <rim>
+        La matematika nocio <tld/>o servas por priskribi &ccirc;iutagajn
 rilatojn
-       de la tipo : <ctl><em>a</em> estas frato de <em>b</em></ctl>,
-       <ctl><em>a</em> estas pli a&gcirc;a ol <em>b</em></ctl>...
+        de la tipo : <ctl><em>a</em> estas frato de <em>b</em></ctl>,
+        <ctl><em>a</em> estas pli a&gcirc;a ol <em>b</em></ctl>...
 Anstata&ubreve;
-       diri <ctl><em>(a, b)</em> apartenas al rilato <em>R</em></ctl>, oni 
+        diri <ctl><em>(a, b)</em> apartenas al rilato <em>R</em></ctl>, oni
 diras
-       <ctl><em>a</em> estas en <em>R</em>-rilato kun <em>b</em></ctl> kaj oni
-       skribas <em>a R b</em>.
-     </rim>
-     <trdgrp lng="fr">
-       <trd>correspondance</trd>,
-       <trd>relation</trd></trdgrp>
-     </snc>
+        <ctl><em>a</em> estas en <em>R</em>-rilato kun <em>b</em></ctl> 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>
@@ -159,61 +160,66 @@ tiel blinda <tld/>e sin mem<fnt>Z</fnt>
 </snc>
 </drv>
 <drv mrk="rilat.idento0o">
-      <kap>idento-<tld/>o</kap>
-      <snc>
-        <uzo tip="fak">MAT</uzo>
-        <dif>
-          (en aro <em>E</em>) Aro de &ccirc;iuj paroj 
+       <kap>idento-<tld/>o</kap>
+       <snc>
+         <uzo tip="fak">MAT</uzo>
+         <dif>
+           (en aro <em>E</em>) Aro de &ccirc;iuj paroj
 (<em>a</em>,<em>a</em>) kun
-          <em>a</em>&#x2208;<em>E</em>:
-        </dif>
-        <ekz>
-          la idento-<tld/>on en <em>E</em> oni foje signas per 
+           <em>a</em>&#x2208;<em>E</em>:
+         </dif>
+         <ekz>
+           la idento-<tld/>on en <em>E</em> oni foje signas per
 <em>id</em><sub>E</sub>.
-        </ekz>
-      </snc>
-      <trd lng="fr">identit&eacute;</trd>
+         </ekz>
+       </snc>
+       <trd lng="fr">identit&eacute;</trd>
 </drv>
 <drv mrk="rilat.interna0o">
-      <kap>interna <tld/>o</kap>
-      <snc>
-        <uzo tip="fak">MAT</uzo>
-        <dif>
-          (ene de aro <em>E</em>) <ref cel="rilat.0o.MAT"><tld lit="R"/>o</ref>
-          inter <em>E</em> kaj <em>E</em>.
-        </dif>
-      </snc>
-      <trd lng="fr">relation binaire</trd>
+       <kap>interna <tld/>o</kap>
+       <snc>
+         <uzo tip="fak">MAT</uzo>
+         <dif>
+           (ene de aro <em>E</em>) <ref cel="rilat.0o.MAT"><tld 
+lit="R"/>o</ref>
+           inter <em>E</em> kaj <em>E</em>.
+         </dif>
+       </snc>
+       <trd lng="fr">relation binaire</trd>
 </drv>
 <drv mrk="rilat.inversa0o">
-      <kap>inversa <tld/>o, inverso (de <tld/>o)</kap>
-      <snc>
-        <uzo tip="fak">MAT</uzo>
-        <dif>
-          (de rilato <em>R</em> inter <em>E</em> kaj <em>F</em>)
-          <ref cel="rilat.0o.MAT"><tld lit="R"/>o</ref> <em>S</em> inter
-          <em>F</em> kaj <em>E</em>, kies elementojn oni ricevas aliigante la
-          elementojn <em>(a,b)</em> de <em>R</em> al <em>(b,a)</em>.
-        </dif>
-        <ekz>
-          La inversan <tld/>on de <em>R</em> oni signas per
+       <kap>inversa <tld/>o, inverso (de <tld/>o)</kap>
+       <snc>
+         <uzo tip="fak">MAT</uzo>
+         <dif>
+           (de <ref cel="rilat.0o.MAT">rilato</ref> <em>R</em> inter 
+<em>E</em>
+           kaj <em>F</em>) <tld lit="R"/>o inter <em>F</em> kaj
+           <em>E</em>, kies elementojn oni ricevas aliigante &ccirc;iun 
+elementon
+           de <em>R</em> al ties <ref cel="par.inversa0o">inverso</ref>.
+         </dif>
+         <ekz>
+           La inversan <tld/>on de <em>R</em> oni signas per
 <em>R</em><sup>-1</sup>;
-        </ekz>
-        <ekz>
-          la inversa <tld/>o de <em>R</em><sup>-1</sup> egalas al <em>R</em>.
-        </ekz>
-        <rim>
-          Oni diras la&ubreve;pla&ccirc;e
-          <ctl><em>S</em> estas la inversa rilato de <em>R</em></ctl>, 
+         </ekz>
+         <ekz>
+           la inversa <tld/>o de <em>R</em><sup>-1</sup> egalas al <em>R</em>.
+         </ekz>
+         <rim>
+           Oni diras la&ubreve;pla&ccirc;e
+           <ctl><em>S</em> estas la inversa rilato de <em>R</em></ctl>,
 a&ubreve;
-          <ctl><em>S</em> estas la inverso de rilato <em>R</em></ctl>.
-        </rim>
-      </snc>
-      <trd lng="fr">relation r&eacute;ciproque</trd>
+           <ctl><em>S</em> estas la inverso de rilato <em>R</em></ctl>.
+         </rim>
+       </snc>
+       <trd lng="fr">relation r&eacute;ciproque</trd>
 </drv>
 </art>
 <!--
 $Log$
+Revision 1.10  2000/09/28 16:10:53  revo
+Marc Bavant: +drv idento-~o
 Revision 1.9  2000/09/27 16:14:36  revo
 Marc Bavant: detalaj sxangxoj
 Revision 1.8  2000/09/25 16:10:44  revo