Marc Bavant: +mrk cxe snc MAT de sub~o, forigo de emfazo cxe variabloj

revo/grup.xml

@@ -46,27 +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>
-          <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>
+     <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>
@@ -97,31 +97,34 @@ 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 mrk="grup.sub0o.MAT">
+           <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
+             xT<sub>A</sub>y=xTy
+             por &ccirc;iuj x, y&#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.8  2000/10/15 17:36:38  revo
+Marc Bavant: +ref al monojdo en ekz-o
+
 Revision 1.7  2000/10/09 16:10:50  revo
 Marc Bavant: +snc MAT, +drv sub~o