Opo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto |
Neniu resumo de redakto |
||
Linio 9:
== Formalaj difinoj ==
La ĉefaj propraĵoj kiuj diferencigas opon de, ekzemple, [[Aro (matematiko)|aro]] estas tiuj ke: (1) ĝi povas enhavi la saman objekton pli unu foje kaj (2) la objektoj aperas en certa ordo. Noto ke (1) diferencigas opon de [[orda aro]] kaj ke (2) diferencigas opon de [[multaro]]. Ĉi tio estas ofte formaligita per jena regulo por idento de du ''n''-opoj:
: (''a''<sub>1</sub>, ''a''<sub>2</sub>, ...,''a<sub>n</sub>'') = (''b''<sub>1</sub>, ''b''<sub>2</sub>, ..., ''b<sub>n</sub>'') se kaj nur se ''a''<sub>1</sub> = ''b''<sub>1</sub>, ''a''<sub>2</sub> = ''b''<sub>2</sub> kaj tiel plu.
| |||