Opo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
KuBOT (diskuto | kontribuoj) e Roboto unuecigis titolon de lastaj sekcioj |
e Roboto anstataŭigis entojn |
||
Linio 13:
: (''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.
Alia maniero de formaligo de opoj estas per pli primitivaj konstruoj en [[aroteorio]] kiel [[ordigita duopo|ordigitaj duopoj]]. Ekzemple, ''n''-opo (kun ''n'' > 2) povas esti difinita kiel [[ordigita duopo]] de ĝia unua elemento kaj (''n''
: (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a<sub>n</sub>'') = (''a''<sub>1</sub>, (''a''<sub>2</sub>, ..., ''a<sub>n</sub>''))
|