Marc Bavant: kontin3.0a.cxie: +ref al homeomorfio, +eks

revo/kontin3.xml

@@ -42,51 +42,55 @@ En spaco: <ekz><tld/>a muro;
 </refgrp>
 </snc>
 
-       <snc mrk="kontin3.0a.cxepunkto">
-         <uzo tip="fak">MAT</uzo>
-         <dif>
-           <klr>(p.p. <ref cel="bild.0igo">bildigo</ref> f de
-           <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
-           topologia spaco <em>F</em>, &ccirc;e punkto
-           a&#x2208;<em>E</em>)</klr>
-           Tia, ke &ccirc;iu ajn
-           <ref cel="cxirka.0ajxo.topologio">&ccirc;irka&ubreve;a&jcirc;o</ref>
-           de f(a) inkluzivas la bildon per f de certa
-           &ccirc;irka&ubreve;a&jcirc;o de a.
-         </dif>
-         <rim>
-           En malpli faka lingva&jcirc;o : f(x) senlime proksimi&gcirc;as al
-           f(a), kiam x senlime proksimi&gcirc;as al a.
-         </rim>
-       </snc>
-
-       <snc mrk="kontin3.0a.cxie">
-         <uzo tip="fak">MAT</uzo>
-         <dif>
-           <klr>(p.p. <ref cel="bild.0igo">bildigo</ref> f de
-           <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
-           topologia spaco <em>F</em>)</klr>
-           Tia, ke &gcirc;i estas <tld/>a <sncref ref="kontin3.0a.cxepunkto"/>
-           &ccirc;e &ccirc;iuj punktoj de <em>E</em>:
-           <ekz>
-             f estas <tld/>a, se kaj nur se la inversa bildo de &ccirc;iu ajn
-             <ref cel="ferm.mal0ita.topologio">malfermita subaro</ref> de
-             <em>F</em> estas malfermita subaro de <em>E</em>;
-           </ekz>
-           <ekz>
-             la idento-bildigo de <em>E</em> al si mem (kun la sama topologio)
-             estas <tld/>a;
-           </ekz>
-           <ekz>
-             kiu ajn bildigo inter topologiaj spacoj kun diskreta topologio
-             estas <tld/>a.
-           </ekz>
-         </dif>
-       </snc>
-     <trd lng="fr">continu</trd>
-     <trd 
-lng="ru">&c_n;&c_je;&c_p;&c_r;&c_je;&c_r;&c_y;&c_v;&c_n;&c_y;&c_j;</trd>
+  <snc mrk="kontin3.0a.cxepunkto">
+    <uzo tip="fak">MAT</uzo>
+    <dif>
+      <klr>(p.p. <ref cel="bild.0igo">bildigo</ref> f de
+      <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
+      topologia spaco <em>F</em>, &ccirc;e punkto
+      a&#x2208;<em>E</em>)</klr>
+      Tia, ke &ccirc;iu ajn
+      <ref cel="cxirka.0ajxo.topologio">&ccirc;irka&ubreve;a&jcirc;o</ref>
+      de f(a) inkluzivas la bildon per f de certa
+      &ccirc;irka&ubreve;a&jcirc;o de a.
+    </dif>
+    <rim>
+      En malpli faka lingva&jcirc;o : f(x) senlime proksimi&gcirc;as al
+      f(a), kiam x senlime proksimi&gcirc;as al a.
+    </rim>
+  </snc>
 
+  <snc mrk="kontin3.0a.cxie">
+    <uzo tip="fak">MAT</uzo>
+    <dif>
+      <klr>(p.p. <ref cel="bild.0igo">bildigo</ref> f de
+      <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
+      topologia spaco <em>F</em>)</klr>
+      Tia, ke &gcirc;i estas <tld/>a <sncref ref="kontin3.0a.cxepunkto"/>
+      &ccirc;e &ccirc;iuj punktoj de <em>E</em>:
+      <ekz>
+        f estas <tld/>a, se kaj nur se la inversa bildo de &ccirc;iu ajn
+        <ref cel="ferm.mal0ita.topologio">malfermita subaro</ref> de
+        <em>F</em> estas malfermita subaro de <em>E</em>;
+      </ekz>
+      <ekz>
+        la idento-bildigo de <em>E</em> al si mem (kun la sama topologio)
+        estas <tld/>a;
+      </ekz>
+      <ekz>
+        la kunligo de du <tld/>aj bildigoj estas mem <tld/>a;
+      </ekz>
+      <ekz>
+        kiu ajn bildigo inter topologiaj spacoj kun diskreta topologio
+        estas <tld/>a.
+      </ekz>
+    </dif>
+    <refgrp tip="vid">
+      <ref cel="homeom.0o">homeomorfio</ref>.
+    </refgrp>
+  </snc>
+  <trd lng="fr">continu</trd>
+  <trd lng="ru">&c_n;&c_je;&c_p;&c_r;&c_je;&c_r;&c_y;&c_v;&c_n;&c_y;&c_j;</trd>
 </drv>
 
 <drv mrk="kontin3.0eco">
@@ -141,5 +145,8 @@ anta&ubreve;intoj
 
 <!--
 $Log$
+Revision 1.4  2000/11/22 17:12:55  revo
+Marc Bavant: reordigo +subsnc, +snc MAT, +trd fr ru
+
 -->
 </vortaro>