Preordine: differenze tra le versioni

In generale, ogni insieme su cui sia definita una [[funzione (matematica)|funzione]] a valori in un insieme preordinato eredita da esso la struttura di preordine, mediante la definizione ''x'' ≤ ''y'' se ''f''(''x'') ≤ ''f''(''y''). Moltissimi esempi di preordini si possono costruire con questo metodo, dove tipicamente l'insieme di arrivo sono i [[numero reale|numeri reali]]; anche l'esempio qua sopra ne è un caso particolare: la funzione "nascosta" è quella che a ogni insieme associa la sua [[cardinalità]] (l'enunciato dato in termini di funzioni iniettive è equivalente).

 

 

== Voci correlate ==

* [[teoria degli ordini]]

* [[relazione d'ordine]] parziale