preordine

preordine

preordine in algebra, relazione che gode delle proprietà riflessiva e transitiva. Si differenzia da una relazione d’ordine per il fatto di non essere antisimmetrica. È per esempio un preordine la relazione di divisibilità definita nell’insieme Z dei numeri interi, perché, qualunque sia k ∈ Z₀, come k divide −k, anche −k divide k (→ relazione).