e' una relazione ⊑ su X, con proprieta'
| transitiva | aRb e bRc ⇒ aRc | a ⊑ b e b ⊑ c ⇒ a ⊑ c |
| riflessiva | aRa ∀a∈X | a ⊑ a |
| ⊑ | simbolo per indicare la relazione di preordine; |
|---|---|
| ≤ | gli somiglia, solo che ⊑ e' "spuntato" per indicare che manca l'antisimmetria |
a≡⊑b iff a⊑b and b⊑a
compatibile col preordine e l'insieme quoziente risulta ordinato.
| preordine | simmetrico | relazione di equivalenza |
| antisimmetrico | ordine parziale |
relazione di equivalenza = preordine simmetrico
ordine parziale = preordine antisimmetrico
preordered set ≡ proset
partially ordered set ≡ poset
order /ˈɔːdə/ ordine, ordinare
pre- /priː,pri/ prefix: pre-
before (in time, place,
order, degree, or importance).
"pre-adolescent"
preorder /ˈpriɔːdə/
wp/Preorder