Symmetric

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

Back

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

Lean

IsSymm r / Symmetric r := ∀ a b, r a b → r b a