Relazione d'ordine: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Elementi massimali e minimali spostati
Riga 62:
Per l'insieme parzialmente ordinato della divisibilità, sono catene gli insiemi delle potenze positive di un numero primo e più in generale i sottoinsiemi ottenuti con un processo che inizia considerando un intero positivo e prosegue aggiungendo ad ogni passo un multiplo dell'intero aggiunto in precedenza. Si possono considerare catene finite o infinite; il processo precedente può essere finito o illimitato.
 
 
==Intervalli e intervalli stretti==
Sia <math>(A,\leq)</math> un ordine (poset) e <math>a\leq b</math>, allora si dice:
*'''[[Intervallo (matematica)|intervallo]]''' di <math>a</math> e <math>b</math> l'insieme <math>\, [a,b]=\{x\in A|a \leq x\leq b\}</math>;
 
*'''intervallo semistretto a destra'''  di <math>a</math> e <math>b</math> l'insieme <math>\, [a,b[=\{x\in A|a \leq x < b\}=[a,b] - \{b\}</math>
 
*'''intervallo semistretto a sinistra''' di <math>a</math> e <math>b</math> l'insieme <math>\, ]a,b]=\{x\in A|a < x \leq b\}=[a,b] - \{a\}</math>
 
*'''intervallo stretto''' di <math>a</math> e <math>b</math> l'insieme <math>\, ]a,b[=\{x\in A|a < x < b\}=[a,b] - \{a,b\}</math>.