--- aliases: - ordre total up: "[[relation d'ordre]]" tags: - "#s/maths/algèbre" --- - def "$\forall (x, y) \in E, x \mathcal{R}y \text{ existe}$"