Skip to content

Commit

Permalink
Marc Bavant: +klr en dif MAT; ~o (kvociento): +uzo MAT, +fnt; ~o MAT:…
Browse files Browse the repository at this point in the history 
… +fnt, mod klr en dif, +refgrp, mod rim; ekvivalento-~o: mod kap, +trd en/de; ordo-~o: +trd en/de
  • Loading branch information
revo committed Jan 4, 2002
1 parent b706674 commit 2ecc509
Showing 1 changed file with 95 additions and 54 deletions.
149 changes: 95 additions & 54 deletions revo/rilat.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@
Havi inter si ligitecon kaj kondut-reciprokecon:
<ekz>
ili amba&ubreve; intime (inter)<tld/>as;
</ekz><ekz>
</ekz>
<ekz>
ek<tld/>i, <tld/>i&gcirc;i kun iu.
</ekz>
</dif>
Expand All @@ -30,8 +31,7 @@
<dif>
Havi inter si ian ajn ligitecon a&ubreve; interefikon:
<ekz>
mi ne povas
kompreni kiel via konkludo <tld/>as kun viaj premisoj.
mi ne povas kompreni kiel via konkludo <tld/>as kun viaj premisoj.
</ekz>
</dif>
<trdgrp lng="fr">
Expand All @@ -51,7 +51,8 @@
<ekz>
tiuj, kiuj provis
<tld/>i al nia ideo serioze kaj kun ju&gcirc;o memstara<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
ni scias, ke vi kutimas <tld/>i kun estimo nur al tiaj
argumentoj<fnt>Z</fnt>.
</ekz>
Expand Down Expand Up @@ -87,7 +88,8 @@
Ia ajn ligiteco a&ubreve; interefiko inter du a&ubreve; pluraj aferoj:
<ekz>
estas neniu logika <tld/>o inter amba&ubreve; ideoj;
</ekz><ekz>
</ekz>
<ekz>
la vorto <ctl>mia</ctl> montras <tld/>on de posedo.
</ekz>
</dif>
Expand All @@ -107,9 +109,11 @@
Ligiteco kaj reciproka konduto inter du a&ubreve; pluraj personoj:
<ekz>
esti en <tld/>o kun iu<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
la ekonomiaj <tld/>oj inter la okcidentaj kaj orientaj landoj;
</ekz><ekz>
</ekz>
<ekz>
havi kun iu amikajn <tld/>ojn.
</ekz>
</dif>
Expand All @@ -134,16 +138,20 @@
<ekz>
malfacile estas atingita la
nuna favora <tld/>o de la mondo al nia afero<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
mia <tld/>o al tiu a&ubreve; alia politika a&ubreve; religia
demando<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
Esperanto estas nenies propra&jcirc;o, nek en <tld/>o materiala, nek
en <tld/>o morala<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
certe minacas al ni nenia dan&gcirc;ero en &ccirc;i tia
<tld/>o<fnt>Z</fnt>;
</ekz><ekz>
</ekz>
<ekz>
la&ubreve; tiu <tld/>o.
</ekz>
</dif>
Expand All @@ -155,6 +163,8 @@
<trd lng="nl">oogpunt</trd>
</snc>
<snc mrk="rilat.0o.kvociento">
<uzo tip="fak">MAT</uzo>
<fnt><aut>&B;</aut><vrk>Vortaro de Esperanto</vrk></fnt>
<dif>
Nombro montranta kiomfoje ia kvanto estas pli granda ol alia:
<ekz>
Expand All @@ -171,27 +181,33 @@
</snc>
<snc mrk="rilat.0o.MAT">
<uzo tip="fak">MAT</uzo>
<fnt><bib>PIV1</bib></fnt>
<dif>
(inter du aroj <em>E</em> kaj <em>F</em>)
<klr>(de aro <em>E</em> al <em>F</em>)</klr>
<ref cel="ar.sub0o">Subaro</ref>
de la <ref tip="malprt" cel="produt.kartezia0o">kartezia produto</ref>
<em>E</em>&#xd7;<em>F</em>.
</dif>
<ref tip="sub" cel="bild.0igo">bildigo.</ref>
<rim>
Iam oni nomis <ctl><tld/>o</ctl> nur la <tld/>ojn de iu aro al
&gcirc;i mem (nun: <ctl>interna <tld/>o</ctl>) kaj tiusence difinas
&gcirc;in PIV, sed okazis vastigo de la nocio.
</rim>
<rim>
La matematika nocio <tld/>o servas por priskribi &ccirc;iutagajn
rilatojn de la tipo : <ctl>a estas frato de b</ctl>, <ctl>a estas
pli a&gcirc;a ol b</ctl>... Anstata&ubreve; diri <ctl>(a, b)
apartenas al rilato <em>R</em></ctl>, oni diras <ctl>a estas en
<em>R</em>-rilato kun b</ctl> kaj oni skribas a <em>R</em> b. La
pli a&gcirc;a ol b</ctl>... Anstata&ubreve; diri <ctl>(a,b)
apartenas al rilato <em>R</em></ctl>, oni diras <ctl>a estas en
<em>R</em>-rilato kun b</ctl> kaj oni skribas a<em>R</em>b. La
sama nocio servas anka&ubreve; por priskribi la situacion, kiam al
unu objekto oni asocias unu a&ubreve; plurajn aliajn. Do &gcirc;i
estas tre oportuna por formaligi <ref cel="funkci.0o.MAT">funkciojn</ref>
unu- a&ubreve; plur-sencajn.
</rim>
<trdgrp lng="fr">
<trd>correspondance<klr tip="ind"> (math.)</klr></trd>,
<trd>relation<klr tip="ind"> (math.)</klr></trd>
<trd>relation<klr tip="ind"> (d'un ensemble E &agrave; un ensemble F)</klr></trd>
</trdgrp>
<trd lng="nl">relatie</trd>
</snc>
Expand Down Expand Up @@ -225,18 +241,19 @@
<kap><tld/>e (al)</kap>
<snc>
<dif>
<tld lit="R"/>ante; en <tld/>o al; la&ubreve; vidpunkto de:
<tld lit="R"/>ante, en <tld/>o al; la&ubreve; vidpunkto de:
<ekz>
kiel li povas esti tiel blinda <tld/>e sin mem<fnt>Z</fnt>?,
</ekz><ekz>
<tld/>e la korektecon de la lingvo, tiu libro estas rekomendinda.
kiel li povas esti tiel blinda <tld/>e sin mem<fnt>Z</fnt>?;
</ekz>
<ekz>
<tld/>e la korektecon de la lingvo, tiu libro estas rekomendinda.
</ekz>
</dif>
</snc>
<trd lng="de">bez&uuml;glich</trd>
<trdgrp lng="fr">
<trd>par rapport (&agrave;)</trd>,
<trd>relativement (&agrave;)</trd>
<trd>par rapport &agrave;</trd>,
<trd>relativement &agrave;</trd>
</trdgrp>
<trdgrp lng="nl">
<trd>aangaande</trd>,
Expand All @@ -245,7 +262,13 @@
</drv>

<drv mrk="rilat.ekvivalento0o">
<kap>ekvivalento-<tld/>o</kap>
<kap>
ekvivalento-<tld/>o,
ekvivalent<tld/>o
<fnt><bib>MatVort</bib></fnt>,
<tld/>o de ekvivalento
<fnt><bib>PIV1</bib></fnt>
</kap>
<uzo tip="fak">MAT</uzo>
<snc>
<dif>
Expand All @@ -256,25 +279,30 @@
</dif>
<ekz>
en la aro de &ccirc;iuj homoj la <tld/>o <ctl>x estas parenco
de y</ctl> estas ekvivalento-<tld/>o.
de y</ctl> estas ekvivalento-<tld/>o.
</ekz>
<ref tip="vid" cel="ar.kvocienta0o">kvocienta aro.</ref>
<trd lng="de">&Auml;quivalenzrelation</trd>
<trd lng="en">equivalence relation</trd>
<trd lng="fr">relation d'<ind>&eacute;quivalence</ind></trd>
<trd lng="ru">&c_o;&c_t;&c_n;&c_o;&c_sh;&c_je;&c_n;&c_i;&c_je; &c_e;&c_k;&c_v;&c_i;&c_v;&c_a;&c_l;&c_je;&c_n;&c_t;&c_n;&c_o;&c_s;&c_t;&c_i;</trd>
</snc>
</drv>

<drv mrk="rilat.idento0o">
<kap>idento-<tld/>o</kap>
<uzo tip="fak">MAT</uzo>
<snc>
<dif>
(en aro <em>E</em>) <ref cel="rilat.interna0o">Interna rilato</ref>,
<klr>(en aro <em>E</em>)</klr>
<ref tip="super" cel="rilat.interna0o">Interna rilato</ref>,
konsistanta el &ccirc;iuj paroj (a,a) kun a&#x2208;<em>E</em>:
</dif>
<ekz>
la idento-<tld/>on en <em>E</em> oni foje signas per
<em>id</em><sub>E</sub>;
</ekz><ekz>
</ekz>
<ekz>
la idento-<tld/>o estas bildigo.
</ekz>
<ref tip="sin" cel="bild.idento0igo">idento-bildigo.</ref>
Expand All @@ -290,11 +318,20 @@
<uzo tip="fak">MAT</uzo>
<snc>
<dif>
(ene de aro <em>E</em>) <ref tip="super" cel="rilat.0o.MAT">
<tld lit="R"/>o</ref> inter <em>E</em> kaj <em>E</em>.
<klr>(ene de aro <em>E</em>)</klr>
<ref tip="super" cel="rilat.0o.MAT"><tld lit="R"/>o</ref> de
<em>E</em> al <em>E</em>.
</dif>
<refgrp tip="vid">
Rimarkindaj ecoj de interna rilato:
<ref cel="reflek1.0a.rilato">refleksiva</ref>,
<ref cel="reflek1.mal0a.rilato">malrefleksiva</ref>,
<ref cel="simetr.0a.rilato">simetria</ref>,
<ref cel="simetr.mal0a.rilato">malsimetria</ref>,
<ref cel="transi1.0a.rilato">transitiva</ref>.
</refgrp>
</snc>
<trd lng="fr">relation binaire</trd>
<trd lng="fr">relation<klr tip="ind"> (sur un ensemble)</klr></trd>
</drv>

<drv mrk="rilat.inter0o">
Expand All @@ -303,7 +340,7 @@
<snc>
<dif>
<ref tip="dif" cel="rilat.0o.interpersona"><tld lit="R"/>o <sncref
ref="rilat.0o.interpersona"/></ref>:
ref="rilat.0o.interpersona"/></ref>:
<ekz>
ligi, teksi inter<tld/>ojn kun iu.
</ekz>
Expand All @@ -316,14 +353,16 @@
<uzo tip="fak">MAT</uzo>
<snc>
<dif>
(de <ref tip="super" cel="rilat.0o.MAT">rilato</ref> <em>R</em> inter
<em>E</em> kaj <em>F</em>) <tld lit="R"/>o inter <em>F</em> kaj
<em>E</em>, kies elementojn oni ricevas aliigante &ccirc;iun elementon de
<em>R</em> al ties <ref cel="par.inversa0o">inverso</ref>:
<klr>(de <ref tip="super" cel="rilat.0o.MAT">rilato</ref> <em>R</em> inter
<em>E</em> kaj <em>F</em>)</klr>
<tld lit="R"/>o inter <em>F</em> kaj <em>E</em>, kies elementojn oni
ricevas aliigante &ccirc;iun elementon de <em>R</em> al ties
<ref cel="par.inversa0o">inverso</ref>:
</dif>
<ekz>
la inversan <tld/>on de <em>R</em> oni signas per <em>R</em><sup>-1</sup>;
</ekz><ekz>
</ekz>
<ekz>
la inversa <tld/>o de <em>R</em><sup>-1</sup> egalas al <em>R</em>.
</ekz>
<ref tip="sub" cel="bild.inversa0igo">inversa bildigo.</ref>
Expand All @@ -345,14 +384,16 @@
<ref tip="super" cel="rilat.interna0o">Interna <tld/>o</ref>
samtempe
<ref cel="reflek1.0a.rilato">refleksiva</ref>,
<ref cel="reflek1.mal0a.rilato">malrefleksiva</ref>,
<ref cel="simetr.mal0a.rilato">malsimetria</ref> kaj
<ref cel="transi1.0a.rilato">transitiva</ref>:
<ekz>
en aro de subaroj de <em>E</em> la <tld/>o
<em>A</em>&#x2282;<em>B</em> estas ordo-<tld/>o;
</ekz><ekz>
</ekz>
<ekz>
ordo-<tld/>on oni ofte signas per &#x2264; <klr>(legu: malpli
granda ol, a&ubreve; pli malgranda ol)</klr> kaj &gcirc;ian
granda ol, a&ubreve; pli malgranda ol)</klr> kaj &gcirc;ian
inverson per &#x2265; <klr>(legu: pli granda ol)</klr>.
</ekz>
</dif>
Expand All @@ -362,9 +403,9 @@
</refgrp>
<rim>
Kune kun ordo-<tld/>o <em>R</em> oni ofte konsideras &gcirc;ian
malvastigitan version, nome la <tld/>on <ctl>x <em>R</em> y kaj
x&#x2260;y</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
malvastigitan version, nome la <tld/>on <ctl>x<em>R</em>y kaj
x&#x2260;y</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;
<ctl>rigora ordo-<tld/>o</ctl>. &Gcirc;i estas malrefleksiva, malsimetria
Expand All @@ -373,34 +414,34 @@
<rim>
Kiam necesas eviti ambiguecon inter la refleksiva rilato kaj &gcirc;ia
malvastigo eblas uzi klarigan lingva&jcirc;on de la tipo <ctl>a estas
strikte pli granda ol b</ctl> (a&gt;b), a&ubreve; <ctl>a estas pli granda
ol b, a&ubreve; egala (al &gcirc;i)</ctl> (a&#x2265;b).
strikte pli granda ol b</ctl> (a&gt;b), a&ubreve; <ctl>a estas pli granda
ol b, a&ubreve; egala (al &gcirc;i)</ctl> (a&#x2265;b).
</rim>
<trd lng="de">Ordnungsrelation</trd>
<trd lng="en">order relation</trd>
<trd lng="fr">relation d'<ind>ordre</ind></trd>
<trd lng="ru">&c_o;&c_t;&c_n;&c_o;&c_sh;&c_je;&c_n;&c_i;&c_je; &c_p;&c_o;&c_r;&c_ja;&c_d;&c_k;&c_a;</trd>
</snc>
</drv>
</art>
<!--
$Log$
Revision 1.24 2001/10/16 18:44:08 revo
Revision 1.25 2001/11/15 19:15:17 revo
Sergio Pokrovskij: snc-mrk
Revision 1.24 2001/10/16 18:44:08 revo
Paul Peeraerts: ald trd nl
Revision 1.23 2001/09/17 18:15:36 revo
Revision 1.23 2001/09/17 18:15:36 revo
Ulrich Fellmann: + 9 germ trdj
Revision 1.22 2001/07/22 18:17:47 revo
Revision 1.22 2001/07/22 18:17:47 revo
Marc Bavant: kor rim pri rilato
Revision 1.21 2001/07/12 18:12:57 revo
Revision 1.21 2001/07/12 18:12:57 revo
Marc Bavant: kosmetikaj sxangxoj cxe snc MAT kaj trd fr
Revision 1.20 2001/05/01 18:10:00 revo
Revision 1.20 2001/05/01 18:10:00 revo
Marc Bavant: +ref al idento-bildigo; mod rim pri "strikta ordo"
Revision 1.19 2001/02/04 17:17:27 revo
Revision 1.19 2001/02/04 17:17:27 revo
Marc Bavant: +rim kaj +ekz cxe ordo~o, +trd fr, +mrk cxe ~o 1, kor dif de inter~o
Revision 1.18 2000/12/23 21:25:39 revo
Revision 1.18 2000/12/23 21:25:39 revo
Marc Bavant: riparo de dif por snc 4,5 de ~i, +mrk cxe ~o 4, kor ref tip sin, forigo de troaj em
Revision 1.17 2000/10/29 17:13:24 revo
Revision 1.17 2000/10/29 17:13:24 revo
-->
</vortaro>

0 comments on commit 2ecc509

Please sign in to comment.