Marc Bavant: n-argumenta ~o: mod ekz; ordo~o: mod rim; ~o MAT: mod rim

revo/rilat.xml

@@ -239,8 +239,8 @@
         <tld/>ojn</ref>&rightquot;.
       </rim>
       <rim>
-        La matematika nocio <tld/>o servas por priskribi &ccirc;iutagajn
-        rilatojn de la tipo:
+        La matematikan nocion <tld/>o povas ilustri &ccirc;iutagaj
+        rilatoj de la tipo:
         <ctl><frm><k>a</k></frm> estas frato de <frm><k>b</k></frm></ctl>,
         <ctl><frm><k>a</k></frm> estas pli a&gcirc;a ol <frm><k>b</k></frm></ctl>...
         Anstata&ubreve; diri
@@ -486,7 +486,7 @@
       &#215;<g>E</g><sub><k>n</k></sub></frm>:
       <ekz>
         <ind>duargumenta <tld/>o</ind>
-        <klr>(= <ref cel="rilat.0o.MAT"><tld/>o <sncref/></ref>)</klr>;
+        <klr>(t.e. <ref cel="rilat.0o.MAT"><tld/>o <sncref/></ref>)</klr>;
         <trd lng="de">zweistellige <ind>Relation</ind></trd>
         <trd lng="en">binary <ind>relation</ind></trd>
         <trd lng="fr">relation binaire</trd>
@@ -554,17 +554,15 @@
       Kune kun ordo-<tld/>o <frm><g>R</g></frm> oni ofte konsideras
       &gcirc;ian malvastigitan version, nome la <tld/>on
       <ctl><frm><k>x</k><g>R</g><k>y</k></frm> kaj
-      <frm><k>x</k>&#8800;<k>y</k></frm></ctl>. Ekz-e la malvastigo de
-      ordo-<tld/>o <ctl>ne pli malgranda ol</ctl> estas
-      <ctl>pli granda ol</ctl>. Tia <tld/>o ne estas ordo-<tld/>o la&ubreve;
-      la &ccirc;i-supra difino, sed oni ofte nomas &gcirc;in
-      <ctl>strikta</ctl>, <ctl>malvastsenca</ctl> a&ubreve;
+      <frm><k>x</k>&#8800;<k>y</k></frm></ctl>. Tia <tld/>o ne estas 
+      ordo-<tld/>o la&ubreve; la &ccirc;i-supra difino, sed oni ofte 
+      nomas &gcirc;in <ctl>strikta</ctl>, <ctl>malvastsenca</ctl> a&ubreve;
       <ctl>rigora ordo-<tld/>o</ctl>. &Gcirc;i estas malrefleksiva,
       malsimetria kaj transitiva.
     </rim>
     <rim>
       Kiam necesas eviti ambiguecon inter la refleksiva rilato kaj &gcirc;ia
-      malvastigo eblas uzi klarigan lingva&jcirc;on de la tipo
+      malvastiga&jcirc;o, eblas uzi klarigan lingva&jcirc;on de la tipo
       <ctl><frm><k>a</k></frm> estas strikte pli granda ol
       <frm><k>b</k></frm></ctl> <frm>(<k>a</k> &gt; <k>b</k>)</frm>,
       a&ubreve; <ctl><frm><k>a</k></frm> estas pli granda
@@ -585,6 +583,8 @@
 </art>
 <!--
 $Log$
+Revision 1.42  2003/04/07 16:36:35  revo
+Marc Bavant: interna ~o: -klr en trd
 Revision 1.41  2003/03/05 17:35:42  revo
 Marc Bavant: ~o MAT: +ref al interna ~o; interna ~o: +refgrp
 Revision 1.40 2003/02/16 17:32:53 revo
@@ -602,7 +602,5 @@ Marc Bavant: ~o MAT: mod rim; interna ~o: mod klr tip en trd; ~o-rilato: +ref al
 Revision 1.34 2002/08/04 17:33:39 revo
 Marc Bavant: ~o (kvociento): kor dif; ~o MAT: +ref al grafeo; ordo-~o: kor dif; idento-~o: kor strukturon
 Revision 1.33 2002/05/27 17:19:48 revo
-Marc Bavant: ~o MAT: mod rim1; ekvivalento~o: mod fnt
-Revision 1.32 2002/05/20 16:36:59 revo
 -->
 </vortaro>