Preordine: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m link
mNessun oggetto della modifica
Riga 1:
Nella [[matematica]], ed in particolare nella [[:Categoria:teoria degli ordini|teoria degli ordini]], un '''preordine''' è un tipo di [[relazione binaria]] strettamente correlato con le [[relazione d'ordine|relazioni d'ordine]] (ed i corrispondeticorrispondenti ''insiemi parzialmente ordinati''). Molte definizioni teoriche legate alle relazioni d'ordine possono essere generalizzate per i preordini.
 
== Definizione formale ==