Marc Bavant: +ref al monojdo en ekz-o

revuloj · Oct 15, 2000 · c5901fe · c5901fe
1 parent 7ef2251
commit c5901fe
Showing 1 changed file with 47 additions and 39 deletions.
diff --git a/revo/grup.xml b/revo/grup.xml
@@ -11,14 +11,14 @@
 <kap><ofc>*</ofc><tld/>o</kap>
 <snc num="1">
 <dif>
-Aro da samspecaj objektoj, kunigitaj por sama celo: <ekz><tld/>o da 
+Aro da samspecaj objektoj, kunigitaj por sama celo: <ekz><tld/>o da
 pentra&jcirc;oj, da dokumentoj, da argumentoj.
 </ekz>
 </dif>
 </snc>
 <snc num="2">
 <dif>
-Aro da personoj, kiujn io komuna kunigas: <ekz><tld/>o da laboristoj, da 
+Aro da personoj, kiujn io komuna kunigas: <ekz><tld/>o da laboristoj, da
 rigardantoj;
 </ekz> <ekz><tld/>o da infanoj kune ludantaj;
 </ekz> <ekz><tld/>o politika (da deputitoj samopiniaj);
@@ -46,22 +46,27 @@ Aro da ofte kunigitaj literoj: <ekz>la <tld/>oj br, kv.
 </dif>
 </snc>
 
-   <snc mrk="grup.0o.MAT">
-     <uzo tip="fak">MAT</uzo>
-     <dif>
-       Tia <ref tip="super" cel="magm.0o.MAT">magmo</ref> (<em>E</em>,T),
-       ke &gcirc;ia <ref cel="operac.0o.MAT">operacio</ref> T estas
-       <ref cel="asoci.0eca.MAT">asocieca</ref>,
-       ke ekzistas <ref cel="neuxtr.0a.MAT">ne&ubreve;tra elemento</ref>
-       en <em>E</em>, kaj ke por &ccirc;iu elemento en <em>E</em> ekzistas
-       &gcirc;ia <ref cel="neuxtr.0iganto.MAT">ne&ubreve;triganto</ref>:
-       <ekz>
-         la aro de &ccirc;iuj <ref cel="jxet.dissur0o">bijekcioj</ref>
-         de iu aro al si mem, konsiderata kune kun la operacio
-         <ref cel="lig.kun0o">kunligo</ref> estas <tld/>o.
-       </ekz>
-     </dif>
-   </snc>
+    <snc mrk="grup.0o.MAT">
+      <uzo tip="fak">MAT</uzo>
+      <dif>
+        Tia <ref tip="super" cel="magm.0o.MAT">magmo</ref> (<em>E</em>,T),
+        ke &gcirc;ia <ref cel="operac.0o.MAT">operacio</ref> T estas
+        <ref cel="asoci.0eca.MAT">asocieca</ref>,
+        ke ekzistas <ref cel="neuxtr.0a.MAT">ne&ubreve;tra elemento</ref>
+        en <em>E</em>, kaj ke por &ccirc;iu elemento en <em>E</em> ekzistas
+        &gcirc;ia <ref cel="neuxtr.0iganto.MAT">ne&ubreve;triganto</ref>:
+        <ekz>
+          <tld/>o estas <ref tip="super" cel="monojd.0o">monojdo</ref>,
+          kies &ccirc;iuj elementoj estas
+          <ref cel="neuxtr.0igebla.MAT">ne&ubreve;trigeblaj</ref>;
+        </ekz>
+        <ekz>
+          la aro de &ccirc;iuj <ref cel="jxet.dissur0o">bijekcioj</ref>
+          de iu aro al si mem, konsiderata kune kun la operacio
+          <ref cel="lig.kun0o">kunligo</ref> estas <tld/>o.
+        </ekz>
+      </dif>
+    </snc>
 
 <trd lng="cs">skupina</trd>
 <trd lng="en">group</trd>
@@ -73,7 +78,7 @@ Aro da ofte kunigitaj literoj: <ekz>la <tld/>oj br, kv.
 <dif>
 Arigi en <tld/>ojn: <ekz><tld/>igi la argumentojn en tri kategoriojn;
 </ekz> <ekz>la fotografisto <tld/>igas la klientojn;
-</ekz> <ekz>la tuta Esp-istaro <tld/>i&gcirc;is &ccirc;irka&ubreve; sia 
+</ekz> <ekz>la tuta Esp-istaro <tld/>i&gcirc;is &ccirc;irka&ubreve; sia
 standardo<fnt>Z</fnt>.
 </ekz>
 </dif>
@@ -92,30 +97,33 @@ Malestiminda <tld/>o
 </snc>
 </drv>
 
-     <drv mrk="grup.sub0o">
-       <kap>sub<tld/>o</kap>
-       <snc>
-         <uzo tip="fak">MAT</uzo>
-         <dif>
-           (de <tld/>o (<em>E</em>,T))
-           Tia <ref tip="super" cel="grup.0o.MAT"><tld/>o</ref>
-           (<em>A</em>,T<sub>A</sub>), ke
-           <em>A</em>&#x2282;<em>E</em> kaj
-           <em>x</em>T<sub>A</sub><em>y</em>=<em>x</em>T<em>y</em>
-           por &ccirc;iuj <em>x</em>, <em>y</em>&#x2208;<em>A</em>:
-           <ekz>
-             nemalplena subaro estas sub<tld/>o nur, se al &gcirc;i apartenas
-             rezultoj de la operacio inter kiu ajn unua elemento kaj
-             ne&ubreve;triganto de kiu ajn dua.
-           </ekz>
-         </dif>
-       </snc>
-       <trd lng="fr">sous-groupe</trd>
-     </drv>
+      <drv mrk="grup.sub0o">
+        <kap>sub<tld/>o</kap>
+        <snc>
+          <uzo tip="fak">MAT</uzo>
+          <dif>
+            (de <tld/>o (<em>E</em>,T))
+            Tia <ref tip="super" cel="grup.0o.MAT"><tld/>o</ref>
+            (<em>A</em>,T<sub>A</sub>), ke
+            <em>A</em>&#x2282;<em>E</em> kaj
+            <em>x</em>T<sub>A</sub><em>y</em>=<em>x</em>T<em>y</em>
+            por &ccirc;iuj <em>x</em>, <em>y</em>&#x2208;<em>A</em>:
+            <ekz>
+              nemalplena subaro estas sub<tld/>o nur, se al &gcirc;i apartenas
+              rezultoj de la operacio inter kiu ajn unua elemento kaj
+              ne&ubreve;triganto de kiu ajn dua.
+            </ekz>
+          </dif>
+        </snc>
+        <trd lng="fr">sous-groupe</trd>
+      </drv>
 
 </art>
 
 <!--
 $Log$
+Revision 1.7  2000/10/09 16:10:50  revo
+Marc Bavant: +snc MAT, +drv sub~o
+
 -->
 </vortaro>