Preorder

• Preorder #Card
  • A relation $\le$ on $X$ that is: - Reflexive: $x \le x$ - Transitive: $(x \le y) \land (y \le z) \implies x \le z$

Back

A relation $\le$ on $X$ that is:

• Reflexive: $x \le x$
• Transitive: $(x \le y) \land (y \le z) \implies x \le z$

Lean

Preorder（反射的・推移的）