^^Minimo e massimo di un insieme ordinato.

minimo di un insieme ordinato Ins
x ≤ MAX ∀x∈Ins

massimo di un insieme ordinato
min ≤ x ∀x∈Ins

Minimo e massimo come rappresentanti

Quando un insieme ordinato e' suddiviso in classi, come rappresentante della classe viene abbastanza spontaneo considerare il minimo o il massimo, o la loro accoppiata.
Paragonando al linguaggio comune potremmo dire "una rappresentanza".

Si puo' considerare come rappresentante anche un valore intermedio, pero' il senso comune di intermedio piu' che legato al solo aspetto di ordine e' legato a quello di quantita', che non e' presente nell'insieme ordinato "puro" cioe' senza altra struttura aggiunta.

Teo d Unicita' del massimo: il max se esiste e' unico.

Teo d Unicita' del min: il min se esiste e' unico.

Talk

Scritto in ASCII

minim di un insieme ordinato
x <= MAX per-ogni x appart Ins

MINIMO di un insieme ordinato
min <= x per-ogni x appart Ins

Titolo

Minimo e massimo
c: Non e' sufficiente letto da fuori contesto, occorre specificare "di un insieme ordinato", poiche esiste Minimo e massimo di una funzione.