Préordre

Carte Commune · n° 435758

En mathématiques, un préordre est une relation binaire réflexive et transitive. C'est-à-dire que si E est un ensemble, une relation binaire R {\displaystyle {\mathcal {R}}} sur E est un préordre lorsque : ∀ x ∈ E x R x {\displaystyle \forall x\in E\quad x{\mathcal {R}}x} (réflexivité) ; ∀ ( x , y , z ) ∈ E 3 , ( x R y ∧ y R z ) ⇒ x R z {\displaystyle \forall...