Wikipedia

Relazione d'ordine: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Etichette: Modifica da mobile Modifica da web per mobile
Riga 23:
 
:<math>x \le x \quad \forall x \in A</math>
:<math>[x \leleq y </math> e\land <math>y \leleq x] </math> implica\implies <math>x = y \quad \forall x,y \in A </math>
:<math display="inline">[x \leleq y </math>\land e <math>y \leleq z] </math>\implies implicano <math>x \leleq z \quad \forall x,y,z \in A </math>
 
Le relazioni d'ordine si indicano spesso con i simboli <math>\leq</math>, <math>\subseteq</math>, <math>\sqsubseteq</math> e <math>\preccurlyeq</math>.
Estratto da "https://it.wikipedia.org/wiki/Relazione_d%27ordine"