cours/relation d'ordre.md

up, tags

up	tags
relation	#s/maths/algèbre

[!definition] Relation d'ordre Soit E un ensemble Soit \mathcal{R} une relation sur E \mathcal{R} est une relation d'ordre ssi :

• \forall x \in E, \quad x\mathcal{R}x (relation réflexive)
• \forall (x, y) \in E^{2}, \quad x\mathcal{R}y \wedge y\mathcal{R}x \implies x = y (relation antisymétrique)
• \forall (x, y, z) \in E^{3}, \quad x\mathcal{R}y \wedge y\mathcal{R}z \implies x\mathcal{R}z (relation transitive) ^definition