Strict Order

• Strict Order #Card
  • The relation $<$ defined by $x < y \iff x \le y \land x \neq y$.

Back

The relation $<$ defined by $x < y \iff x \le y \land x \neq y$.

Lean

< (LT) / IsStrictOrder