Antisymmetric

• Antisymmetric #Card
  • $y \in Rx$ and $x \in Ry \implies y = x$ for all $x, y \in X$.

Back

$y \in Rx$ and $x \in Ry \implies y = x$ for all $x, y \in X$.

Lean

IsAntisymm r / ∀ a b, r a b → r b a → a = b（Mathlib Antisymm）