morfismo d'ordine
morfismo d’ordine tra due insiemi parzialmente ordinati (R, ≤) e (Q, ⊆), è un’applicazione ƒ: R → Q che preserva gli ordini, vale a dire tale che, se a e b sono elementi di R con a ≤ b, allora vale anche ƒ(a) ⊆ ƒ(b) (→ struttura d’ordine).