Skip to content
Journals Garden

Inverse Order

  • Inverse Order #Card
    • Denoted by $\ge$, defined by $x \ge y \iff y \le x$.

Back

Section titled “Back”

Denoted by $\ge$, defined by $x \ge y \iff y \le x$.

Lean

Section titled “Lean”

OrderDual α (αᵒᵈ) / ≥