Skip to content

Commit

Permalink
Marc Bavant: +frm; ~a: mod rim
Browse files Browse the repository at this point in the history
  • Loading branch information
revo committed Nov 30, 2002
1 parent f79bb88 commit b4f564c
Showing 1 changed file with 17 additions and 14 deletions.
31 changes: 17 additions & 14 deletions revo/maksim1.xml
Original file line number Diff line number Diff line change
Expand Up @@ -34,11 +34,14 @@
<uzo tip="fak">MAT</uzo>
<fnt><bib>MatTerm</bib><lok>p. 18, 20</lok></fnt>
<dif>
<klr>(de <ref cel="ar.orda0o">orda aro</ref> (<em>E</em>,&#8804;))</klr>
Tia elemento M en <em>E</em>, ke &ccirc;iuj aliaj estas malpli
grandaj ol &gcirc;i (x&#8804;M por &ccirc;iu ajn x en <em>E</em>):
<klr>(de <ref cel="ar.orda0o">orda aro</ref>
<frm>(<g>E</g>,&#8804;)</frm>)</klr>
Tia elemento <frm>M</frm> en <frm><g>E</g></frm>, ke &ccirc;iuj
aliaj estas malpli grandaj ol &gcirc;i
(<frm><k>x</k> &#8804; M</frm> por
&ccirc;iu ajn <frm><k>x</k></frm> en <frm><g>E</g></frm>):
<ekz>
la reela intervalo ]0,1[ ne havas <tld/>on;
la reela intervalo <frm>]0,1[</frm> ne havas <tld/>on;
</ekz>
<ekz>
la eventuala <tld/>o estas unika;
Expand Down Expand Up @@ -106,9 +109,9 @@
<subsnc mrk="maksim1.0a.elemento">
<dif>
<klr>(p.p. elemento de <ref cel="ar.orda0o">orda aro</ref>
(<em>E</em>, &#8804;))</klr>
Tia, ke ne ekzistas elemento de <em>E</em> strikte pli granda
ol &gcirc;i:
<frm>(<g>E</g>,&#8804;)</frm>)</klr>
Tia, ke ne ekzistas elemento de <frm><g>E</g></frm> strikte
pli granda ol &gcirc;i:
<ekz>
la eventuala <tld/>o de orda aro estas <tld/>a, sed <tld/>a
elemento ne nepre estas <tld/>o.
Expand All @@ -124,19 +127,19 @@
<subsnc mrk="maksim1.0a.idealo">
<dif>
<klr>(p.p. <ref cel="ideal.0o.MAT">idealo</ref> de ringo
<em>R</em>)</klr>
<frm><g>R</g></frm>)</klr>
Tia, ke &gcirc;i estas <tld/>a <sncref ref="maksim1.0a.elemento"/>
en la aro de &ccirc;iuj idealoj de <em>R</em>, provizita per
en la aro de &ccirc;iuj idealoj de <frm><g>R</g></frm>, provizita per
la ordo-rilato inkluziveco.
</dif>
<trd lng="de">maximales<klr tip="amb"> (Ideal)</klr></trd>
<trd lng="en">maximal<klr tip="ind"> (ideal)</klr></trd>
<trd lng="fr"><klr tip="ind">(id&eacute;al) </klr> maximal</trd>
<trd lng="pl"><klr tip="ind">(ideal) </klr> maksimalny</trd>
<trd lng="fr"><klr tip="ind">(id&eacute;al) </klr>maximal</trd>
<trd lng="pl"><klr tip="ind">(ideal) </klr>maksimalny</trd>
<trd lng="ru">&c_m;&c_a;&c_k;&c_s;&c_i;&c_m;&c_a;&c_l;&c_mol;&c_n;&c_y;&c_j;<klr tip="ind"> (&c_i;&c_d;&c_je;&c_a;&c_l;)</klr></trd>
</subsnc>
<rim>
Werner <fnt><bib>MatVort</bib></fnt> mencias la terminon, sed
Troveblas tiu termino en <fnt><bib>MatVort</bib></fnt>, sed
sen difino estas malfacile taksi, &ccirc;u la intencata senco estas
nur <ctl>plej granda, estanta <tld/>o</ctl> (kiel en <ctl>ekvaciaro
de <tld/>a ordo</ctl>), a&ubreve; &ccirc;u &gcirc;i povas apliki&gcirc;i
Expand Down Expand Up @@ -180,6 +183,8 @@
</art>
<!--
$Log$
Revision 1.19 2002/09/22 16:33:31 revo
Marc Bavant: ~o MAT: mod ekz, +ref al ekstremumo; snc MAT: +trd pl
Revision 1.18 2002/08/11 17:32:30 revo
Marc Bavant: +drv ~ejo; ~a (idealo): mod dif
Revision 1.17 2002/06/02 17:33:12 revo
Expand All @@ -197,7 +202,5 @@ Marc Bavant: mod ref cel al bildigo
Revision 1.11 2001/12/06 16:19:43 revo
Dennis Wibrow: +trd germ
Revision 1.10 2001/11/28 19:03:22 revo
Karlo Freeman: +trd=en
Revision 1.9 2001/11/21 17:43:18 revo
-->
</vortaro>

0 comments on commit b4f564c

Please sign in to comment.